X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8d0922724a3108d9535ea82a1cceab9782eb60f4..d5b91248fa5fef0d3a11b9da3546cf9f1023192a:/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 */