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

diff --git a/src/mc/mc_comm_determinism.c b/src/mc/mc_comm_determinism.c
index cfbf3f32bb..1555981ab1 100644
--- a/src/mc/mc_comm_determinism.c
+++ b/src/mc/mc_comm_determinism.c
@@ -365,7 +365,7 @@ void MC_modelcheck_comm_determinism(void)
       }
 
       /* Answer the request */
-      SIMIX_simcall_pre(req, value);    /* After this call req is no longer usefull */
+      SIMIX_simcall_enter(req, value);    /* After this call req is no longer usefull */
 
       MC_SET_MC_HEAP;
       current_pattern = !initial_global_state->initial_communications_pattern_done ? initial_communications_pattern : communications_pattern;