rand_r() function is not implemented on Windows

[simgrid.git] / src / surf / random_mgr.c

diff --git a/src/surf/random_mgr.c b/src/surf/random_mgr.c
index 44f8534..2a28e07 100644 (file)
--- a/src/surf/random_mgr.c
+++ b/src/surf/random_mgr.c
@@ -8,6 +8,13 @@ static double drand48(void)
    THROW_UNIMPLEMENTED;
    return -1;
 }
+
+static double rand_r(unsigned int* seed)
+{
+       THROW_UNIMPLEMENTED;
+   return -1;
+}
+
 #endif
 
 static double custom_random(Generator generator, long int *seed){