X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e665a7a968591345ebb4ce0ee948910b5a0e0af1..bdd17c447432a0a638682a1e301b990e401fa5f1:/src/s4u/s4u_Actor.cpp

diff --git a/src/s4u/s4u_Actor.cpp b/src/s4u/s4u_Actor.cpp
index 268576eba3..573d708555 100644
--- a/src/s4u/s4u_Actor.cpp
+++ b/src/s4u/s4u_Actor.cpp
@@ -336,12 +336,12 @@ void sleep_for(double duration)
   kernel::actor::simcall_blocking(
       [issuer, duration]() {
         if (MC_is_active() || MC_record_replay_is_active()) {
-          MC_process_clock_add(issuer, duration);
+          // MC_process_clock_add(issuer, duration); // BUG: Makes the exploration loop
           issuer->simcall_answer();
-          return;
+        } else {
+          kernel::activity::ActivityImplPtr sync = issuer->sleep(duration);
+          sync->register_simcall(&issuer->simcall_);
         }
-        kernel::activity::ActivityImplPtr sync = issuer->sleep(duration);
-        sync->register_simcall(&issuer->simcall_);
       },
       &observer);