Highlight the currently active profile in ProfileMenu

[supertux.git] / src / math / random_generator.cpp

diff --git a/src/math/random_generator.cpp b/src/math/random_generator.cpp
index f1f846b..fe4086b 100644 (file)
--- a/src/math/random_generator.cpp
+++ b/src/math/random_generator.cpp
@@ -34,14 +34,15 @@
 // Transliterated into C++ Allen King 060417, from sources on
 //          http://www.jbox.dk/sanos/source/lib/random.c.html
 
-#include <cassert>
+#include <assert.h>
 #include <stdexcept>
 #include <stdio.h>
 #include <time.h>
 
 #include "math/random_generator.hpp"
 
-RandomGenerator systemRandom;               // global random number generator
+RandomGenerator graphicsRandom;               // graphic RNG
+RandomGenerator gameRandom;                   // game RNG
 
 RandomGenerator::RandomGenerator() :
   initialized(),