#include "surf/random_mgr.h"
#include "xbt/sysdep.h"
-#include "simgrid_config.h" /*_XBT_WIN32*/
+#include "gras_config.h" /*_XBT_WIN32*/
#ifdef _XBT_WIN32
return drand48();
case RAND:
return (double) rand_r((unsigned int *) seed) / RAND_MAX;
+ case RNGSTREAM :
+ printf("Seen RNGSTREAM");
+ return 0.0;
default:
return drand48();
}