Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
rename SIMIX_simcall_{pre,post} to SIMIX_simcall_{enter,exit}
[simgrid.git] / src / mc / mc_comm_determinism.c
index cfbf3f3..1555981 100644 (file)
@@ -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;