X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ad4640ba22bba03fdc83e735157be1b4d23079eb..7ad4d29624370296a9e4683136f8f64147790ead:/src/simix/smx_global.c

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index 024009f6c6..cd48273528 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -201,7 +201,7 @@ void SIMIX_run(void)
 #ifdef TIME_BENCH
     smx_ctx_raw_new_sr();
 #endif
-    do {
+    while (xbt_dynar_length(simix_global->process_to_run)) {
       XBT_DEBUG("New Sub-Schedule Round; size(queue)=%lu",
               xbt_dynar_length(simix_global->process_to_run));
       SIMIX_context_runall(simix_global->process_to_run);
@@ -209,7 +209,7 @@ void SIMIX_run(void)
         XBT_DEBUG("Handling request %p", req);
         SIMIX_request_pre(req, 0);
       }
-    } while (xbt_dynar_length(simix_global->process_to_run));
+    }
 
     time = surf_solve(SIMIX_timer_next());