From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 19 Mar 2019 07:46:40 +0000 (+0100)
Subject: Disallow direct destruction of Mailbox (make dtor private).
X-Git-Tag: v3_22~58
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2ada892214ffeb56db077c98421ed076df809fb2

Disallow direct destruction of Mailbox (make dtor private).
---

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 */