Make Mutex::~Mutex() private.

[simgrid.git] / include / simgrid / s4u / Mutex.hpp

diff --git a/include/simgrid/s4u/Mutex.hpp b/include/simgrid/s4u/Mutex.hpp
index f97eae8..4f2c486 100644 (file)
--- a/include/simgrid/s4u/Mutex.hpp
+++ b/include/simgrid/s4u/Mutex.hpp
@@ -31,6 +31,7 @@ namespace s4u {
 class XBT_PUBLIC Mutex {
   friend ConditionVariable;
   friend kernel::activity::MutexImpl;
+  friend void kernel::activity::intrusive_ptr_release(kernel::activity::MutexImpl* mutex);
 
   kernel::activity::MutexImpl* const pimpl_;
   /* refcounting */
@@ -38,6 +39,7 @@ class XBT_PUBLIC Mutex {
   friend XBT_PUBLIC void intrusive_ptr_release(const Mutex* mutex);
 
   explicit Mutex(kernel::activity::MutexImpl* mutex) : pimpl_(mutex) {}
+  ~Mutex() = default;
 #ifndef DOXYGEN
   Mutex(Mutex const&) = delete;            // No copy constructor; Use MutexPtr instead
   Mutex& operator=(Mutex const&) = delete; // No direct assignment either. Use MutexPtr instead