Rename MutexObserver to SynchroObserver (semaphore incoming)

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

diff --git a/src/s4u/s4u_Mutex.cpp b/src/s4u/s4u_Mutex.cpp
index c91f07c..e429dac 100644 (file)
--- a/src/s4u/s4u_Mutex.cpp
+++ b/src/s4u/s4u_Mutex.cpp
@@ -7,7 +7,7 @@
 #include <simgrid/mutex.h>
 #include <simgrid/s4u/Mutex.hpp>
 #include <src/kernel/activity/MutexImpl.hpp>
-#include <src/kernel/actor/MutexObserver.hpp>
+#include <src/kernel/actor/SynchroObserver.hpp>
 #include <src/mc/mc_replay.hpp>
 
 namespace simgrid {