X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3d50752e785a7b4931b3a95ea45f29cb33b72779..317986722b1e90e467ac9850c9a7000130273564:/src/mc/mc_dpor.c?ds=sidebyside diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c index 25d9ef2735..18d6814e0b 100644 --- a/src/mc/mc_dpor.c +++ b/src/mc/mc_dpor.c @@ -92,9 +92,9 @@ void MC_dpor(void) xbt_free(req_str); } - SIMIX_request_pre(req); - MC_state_set_executed_request(state, req); + + SIMIX_request_pre(req); /* After this call req is no longer usefull */ /* Wait for requests (schedules processes) */ MC_wait_for_requests();