[trace] adding a new boolean parameter (tracing/platform) to register platform in...

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

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 9fcb58c..1142da7 100644 (file)
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -81,12 +81,7 @@ void MC_wait_for_requests(void)
   unsigned int iter;
 
   while (xbt_dynar_length(simix_global->process_to_run)) {
-    SIMIX_context_runall(simix_global->process_to_run);
-
-    xbt_dynar_t tmp = simix_global->process_that_ran;
-    simix_global->process_that_ran = simix_global->process_to_run;
-    simix_global->process_to_run = tmp;
-    xbt_dynar_reset(simix_global->process_to_run);
+    SIMIX_process_runall();
     xbt_dynar_foreach(simix_global->process_that_ran, iter, process) {
       req = &process->request;
       if (req->call != REQ_NO_REQ && !MC_request_is_visible(req))