X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Frandom_generator.cpp;h=90fbd5cd64a26f02cc28b603eb880587f05c7b7f;hb=4b32bef77b06f25a19d63ce7ab966b280fb18442;hp=e48b45719df6575ecee19b335c21be20003eeaae;hpb=c307442e4bf1352cf1807b171b5ab175ba063b31;p=supertux.git

diff --git a/src/random_generator.cpp b/src/random_generator.cpp
index e48b45719..90fbd5cd6 100644
--- a/src/random_generator.cpp
+++ b/src/random_generator.cpp
@@ -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