Compare file prefix only.

[simgrid.git] / src / xbt / xbt_os_synchro.cpp

diff --git a/src/xbt/xbt_os_synchro.cpp b/src/xbt/xbt_os_synchro.cpp
index d27ae64..748faa2 100644 (file)
--- a/src/xbt/xbt_os_synchro.cpp
+++ b/src/xbt/xbt_os_synchro.cpp
@@ -10,7 +10,6 @@
 #include "xbt/synchro.h"
 
 #include "simgrid/simix.h" /* used implementation */
-#include "src/simix/smx_synchro_private.hpp"
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync, xbt, "Synchronization mechanism");
 
@@ -32,7 +31,7 @@ int xbt_mutex_try_acquire(xbt_mutex_t mutex)
 
 void xbt_mutex_release(xbt_mutex_t mutex)
 {
-  ((smx_mutex_t)mutex)->unlock(SIMIX_process_self());
+  simcall_mutex_unlock((smx_mutex_t)mutex);
 }
 
 void xbt_mutex_destroy(xbt_mutex_t mutex)