From 2ada892214ffeb56db077c98421ed076df809fb2 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 19 Mar 2019 08:46:40 +0100
Subject: [PATCH] Disallow direct destruction of Mailbox (make dtor private).

---
 include/simgrid/s4u/Mailbox.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/simgrid/s4u/Mailbox.hpp b/include/simgrid/s4u/Mailbox.hpp
index 4b34063a86..2ce888a260 100644
--- a/include/simgrid/s4u/Mailbox.hpp
+++ b/include/simgrid/s4u/Mailbox.hpp
@@ -22,6 +22,7 @@ class XBT_PUBLIC Mailbox {
   kernel::activity::MailboxImpl* const pimpl_;
 
   explicit Mailbox(kernel::activity::MailboxImpl * mbox) : pimpl_(mbox) {}
+  ~Mailbox() = default;
 
 public:
   /** private function, do not use. FIXME: make me protected */
-- 
2.20.1