Fire Tux for single-sprite version of tux
[supertux.git] / src / random_generator.cpp
index e48b457..90fbd5c 100644 (file)
@@ -38,8 +38,8 @@
 
 #include <stdexcept>
 #include <time.h>
+#include <cassert>
 #include "random_generator.hpp"
-#include "scripting/squirrel_util.hpp"
 
 RandomGenerator systemRandom;               // global random number generator