From a609a3bdb941aba4ae9133a800f73b01c9a3811e Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 18 Feb 2014 14:46:55 +0100
Subject: [PATCH 1/1] model-checker : fix comm destroy for send detached and MC
 enabled

---
 src/simix/smx_network.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/simix/smx_network.c b/src/simix/smx_network.c
index 7f9689a1c1..1ca73e5e6b 100644
--- a/src/simix/smx_network.c
+++ b/src/simix/smx_network.c
@@ -445,7 +445,7 @@ smx_action_t SIMIX_comm_isend(smx_process_t src_proc, smx_rdv_t rdv,
 
   if (MC_is_active()) {
     other_action->state = SIMIX_RUNNING;
-    return other_action;
+    return (detached ? NULL : other_action);
   }
 
   SIMIX_comm_start(other_action);
-- 
2.20.1