do not use xbt_mutex_t in SMPI

[simgrid.git] / src / s4u / s4u_Mutex.cpp

diff --git a/src/s4u/s4u_Mutex.cpp b/src/s4u/s4u_Mutex.cpp
index b46c298..88a271b 100644 (file)
--- a/src/s4u/s4u_Mutex.cpp
+++ b/src/s4u/s4u_Mutex.cpp
@@ -9,6 +9,10 @@
 namespace simgrid {
 namespace s4u {
 
+Mutex::~Mutex()
+{
+  SIMIX_mutex_unref(pimpl_);
+}
 /** @brief Blocks the calling actor until the mutex can be obtained */
 void Mutex::lock()
 {