X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/03d36345c4247a907709b86c189a53f5f85bea88..d929149dc5f210fc2599db0407351ba27ad3a2ec:/src/mc/mc_base.c

diff --git a/src/mc/mc_base.c b/src/mc/mc_base.c
index bd43d7a1ae..34a5bad3c7 100644
--- a/src/mc/mc_base.c
+++ b/src/mc/mc_base.c
@@ -10,6 +10,11 @@
 #include "../simix/smx_private.h"
 #include "mc_record.h"
 
+#ifdef HAVE_MC
+#include "mc_process.h"
+#include "mc_model_checker.h"
+#endif
+
 XBT_LOG_NEW_CATEGORY(mc, "All MC categories");
 
 /**
@@ -101,7 +106,11 @@ static int prng_random(int min, int max)
   // Use rejection in order to avoid skew
   long x;
   do {
+#ifndef _XBT_WIN32
     x = random();
+#else
+    x = rand();
+#endif
   } while( x >= accept_size );
   return min + (x % output_size);
 }