From 14a55b8deb37317636eaab0670b1353d4088c19b Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sat, 9 Feb 2019 15:39:44 +0100
Subject: [PATCH] Using cancel() seems to be the right way to do.

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

diff --git a/src/simix/ActorImpl.cpp b/src/simix/ActorImpl.cpp
index 147339d4b4..c23b3b86c2 100644
--- a/src/simix/ActorImpl.cpp
+++ b/src/simix/ActorImpl.cpp
@@ -475,7 +475,7 @@ void SIMIX_process_kill(smx_actor_t actor, smx_actor_t issuer)
       SIMIX_synchro_stop_waiting(actor, &actor->simcall);
 
     } else if (io != nullptr) {
-      delete io.get();
+      io->cancel();
     } else {
       simgrid::kernel::activity::ActivityImplPtr activity = actor->waiting_synchro;
       xbt_die("Activity %s is of unknown type %s", activity->name_.c_str(),
-- 
2.20.1