X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ff7eafd19936822d22334fbf345c0b2ac9d56dc5..6845924a6746f86020c07fd2f8ce2e4c16a55ed2:/src/mc/mc_global.c?ds=sidebyside

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index a97857f546..cdbec20437 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -481,7 +481,7 @@ void MC_wait_for_requests(void)
     xbt_dynar_foreach(simix_global->process_that_ran, iter, process) {
       req = &process->simcall;
       if (req->call != SIMCALL_NONE && !MC_request_is_visible(req))
-        SIMIX_simcall_pre(req, 0);
+        SIMIX_simcall_enter(req, 0);
     }
   }
 }
@@ -606,7 +606,7 @@ void MC_replay(xbt_fifo_t stack, int start)
           call = 4;
       }
 
-      SIMIX_simcall_pre(req, value);
+      SIMIX_simcall_enter(req, value);
 
       if (_sg_mc_comms_determinism || _sg_mc_send_determinism) {
         MC_SET_MC_HEAP;
@@ -715,7 +715,7 @@ void MC_replay_liveness(xbt_fifo_t stack, int all_stack)
 
         }
 
-        SIMIX_simcall_pre(req, value);
+        SIMIX_simcall_enter(req, value);
         MC_wait_for_requests();
       }