X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Frandom_generator.cpp;h=90fbd5cd64a26f02cc28b603eb880587f05c7b7f;hb=519979665a5ce1b5aed256cefc1eacbf845953cd;hp=0fd8dc5ac9dd6a8037170b66363e0d3e6567ac24;hpb=a113d3bd1feddd510e3b2852b0d42522735eee40;p=supertux.git

diff --git a/src/random_generator.cpp b/src/random_generator.cpp
index 0fd8dc5ac..90fbd5cd6 100644
--- a/src/random_generator.cpp
+++ b/src/random_generator.cpp
@@ -33,12 +33,13 @@
 
 // Transliterated into C++ Allen King 060417, from sources on
 //          http://www.jbox.dk/sanos/source/lib/random.c.html
-
+#include <config.h>
 
 
 #include <stdexcept>
+#include <time.h>
+#include <cassert>
 #include "random_generator.hpp"
-#include "scripting/squirrel_util.hpp"
 
 RandomGenerator systemRandom;               // global random number generator