X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fmain.cpp;h=3f43c6fe3c7ff7dfdc5495e26b311e5697a96cee;hb=d4b281559d45406a5d07cf04d89142cdeb90b114;hp=5c2787488a1142a8548c612c72798492cf35b1d5;hpb=7c579d3ef0a6667c18b53dad84c63c05d2760a84;p=supertux.git

diff --git a/src/main.cpp b/src/main.cpp
index 5c2787488..3f43c6fe3 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -18,7 +18,7 @@
 //  Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 //  02111-1307, USA.
 #include <config.h>
-#include <cassert>
+#include <assert.h>
 
 #include "log.hpp"
 #include "main.hpp"
@@ -342,11 +342,10 @@ static void init_sdl()
 
 static void init_rand()
 {
-  const char *how = config->random_seed? ", user fixed.": ", from time().";
-
   config->random_seed = systemRandom.srand(config->random_seed);
 
-  log_info << "Using random seed " << config->random_seed << how << std::endl;
+  //const char *how = config->random_seed? ", user fixed.": ", from time().";
+  //log_info << "Using random seed " << config->random_seed << how << std::endl;
 }
 
 void init_video()