adapt two collectives of starmpi to avoid timing issues, by using only smpi calls...

[simgrid.git] / src / simix / smx_user.c

diff --git a/src/simix/smx_user.c b/src/simix/smx_user.c
index ae4749f..a23e346 100644 (file)
--- a/src/simix/smx_user.c
+++ b/src/simix/smx_user.c
@@ -1161,9 +1161,9 @@ int simcall_mc_compare_snapshots(void *s1, void *s2){
   return simcall_BODY_mc_compare_snapshots(s1, s2);
 }
 
-int simcall_mc_random(int min, int max)
+int simcall_mc_random(void)
 {
-  return simcall_BODY_mc_random(min, max);
+  return simcall_BODY_mc_random();
 }