X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ad0af37c5db978711c7a312b6325ad9a5ab9a25c..19bb6f08769e62eec4350df3a0427099cbc8c792:/src/mc/mc_dpor.c?ds=sidebyside diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c index 2e9cc17079..a97440a01d 100644 --- a/src/mc/mc_dpor.c +++ b/src/mc/mc_dpor.c @@ -255,7 +255,6 @@ void MC_dpor(void) xbt_fifo_item_t item = NULL; int pos; int visited_state; - while (xbt_fifo_size(mc_stack_safety) > 0) {