X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a6b23c846948f7f89277f75e7c42f3942b31b8d3..56f5a23d5d25cb404de3326bc2128ac64bff2ad5:/src/mc/mc_comm_determinism.c 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;