X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Frandom_generator.cpp;h=90fbd5cd64a26f02cc28b603eb880587f05c7b7f;hb=00071f4e2020e2b40c8230c34892114ba09599ab;hp=1cfeecf29fa38a253acd5f95ffdded855d8b9d0b;hpb=7c579d3ef0a6667c18b53dad84c63c05d2760a84;p=supertux.git

diff --git a/src/random_generator.cpp b/src/random_generator.cpp
index 1cfeecf29..90fbd5cd6 100644
--- a/src/random_generator.cpp
+++ b/src/random_generator.cpp
@@ -37,7 +37,8 @@
 
 
 #include <stdexcept>
-#include <ctime>
+#include <time.h>
+#include <cassert>
 #include "random_generator.hpp"
 
 RandomGenerator systemRandom;               // global random number generator