X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/848f95383e4a29010f73eeca63fa26c8118dd72c..2fee5c0d119e7ff6ea60c1e4c558dab1d913ad48:/src/simix/smx_host.c

diff --git a/src/simix/smx_host.c b/src/simix/smx_host.c
index afc406c6d2..205c46b1cb 100644
--- a/src/simix/smx_host.c
+++ b/src/simix/smx_host.c
@@ -311,6 +311,7 @@ void SIMIX_pre_host_execution_wait(smx_req_t req)
   if (MC_IS_ENABLED){
     action->state = SIMIX_DONE;
     SIMIX_execution_finish(action);
+    return;
   }
 
   /* If the action is already finished then perform the error handling */