Answer the request as the last action on it (it will destroy it)

[simgrid.git] / src / mc / mc_dpor.c

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index 25d9ef2..18d6814 100644 (file)
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -92,9 +92,9 @@ void MC_dpor(void)
           xbt_free(req_str);
         }
 
           xbt_free(req_str);
         }
 

-        SIMIX_request_pre(req);
-

         MC_state_set_executed_request(state, 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();
         
         /* Wait for requests (schedules processes) */
         MC_wait_for_requests();