include src/kernel/actor/ActorImpl.hpp
include src/kernel/actor/CommObserver.cpp
include src/kernel/actor/CommObserver.hpp
-include src/kernel/actor/MutexObserver.cpp
-include src/kernel/actor/MutexObserver.hpp
include src/kernel/actor/SimcallObserver.cpp
include src/kernel/actor/SimcallObserver.hpp
+include src/kernel/actor/SynchroObserver.cpp
+include src/kernel/actor/SynchroObserver.hpp
include src/kernel/context/Context.cpp
include src/kernel/context/Context.hpp
include src/kernel/context/ContextBoost.cpp
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#include "src/kernel/actor/MutexObserver.hpp"
+#include "src/kernel/actor/SynchroObserver.hpp"
#include "simgrid/s4u/Host.hpp"
#include "src/kernel/activity/MutexImpl.hpp"
#include "src/kernel/actor/ActorImpl.hpp"
#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 {
src/kernel/actor/ActorImpl.hpp
src/kernel/actor/CommObserver.cpp
src/kernel/actor/CommObserver.hpp
- src/kernel/actor/MutexObserver.cpp
- src/kernel/actor/MutexObserver.hpp
src/kernel/actor/SimcallObserver.cpp
src/kernel/actor/SimcallObserver.hpp
+ src/kernel/actor/SynchroObserver.cpp
+ src/kernel/actor/SynchroObserver.hpp
${SIMIX_GENERATED_SRC}
)