From 3383ba76c5dc14ca45cc621ef62eec0a5258af74 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 2 Jun 2023 18:09:56 +0200
Subject: [PATCH] A deleted Comm cannot be a valid iface anymore.

---
 src/s4u/s4u_Comm.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/s4u/s4u_Comm.cpp b/src/s4u/s4u_Comm.cpp
index c4b8bb4870..9bd5d0f946 100644
--- a/src/s4u/s4u_Comm.cpp
+++ b/src/s4u/s4u_Comm.cpp
@@ -58,6 +58,8 @@ Comm::~Comm()
       XBT_INFO("pimpl_ is null");
     xbt_backtrace_display_current();
   }
+  if (pimpl_ != nullptr)
+    pimpl_->set_iface(nullptr);
 }
 
 void Comm::send(kernel::actor::ActorImpl* sender, const Mailbox* mbox, double task_size, double rate, void* src_buff,
-- 
2.20.1