X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7fd384a4f660defe96fc76a1ddaa3e56c675a9ef..d155fd69fa99c97b3a9c86bb7f2e472c2e7332df:/src/simix/smx_user.c

diff --git a/src/simix/smx_user.c b/src/simix/smx_user.c
index 3a8a71a5b9..06c52c9cb8 100644
--- a/src/simix/smx_user.c
+++ b/src/simix/smx_user.c
@@ -1312,6 +1312,12 @@ int simcall_mc_compare_snapshots(void *s1, void *s2){
   return simcall_BODY_mc_compare_snapshots(s1, s2);
 }
 
+int simcall_mc_random(void)
+{
+  return simcall_BODY_mc_random();
+}
+
+
 #endif /* HAVE_MC */
 
 /* ****************************************************************************************** */