Test the dependencies of Mutex transitions

[simgrid.git] / src / kernel / actor / MutexObserver.cpp

diff --git a/src/kernel/actor/MutexObserver.cpp b/src/kernel/actor/MutexObserver.cpp
index 33be57d..4c54def 100644 (file)
--- a/src/kernel/actor/MutexObserver.cpp
+++ b/src/kernel/actor/MutexObserver.cpp
@@ -25,7 +25,7 @@ MutexObserver::MutexObserver(ActorImpl* actor, mc::Transition::Type type, activi
 void MutexObserver::serialize(std::stringstream& stream) const
 {
   auto* owner = get_mutex()->get_owner();
-  stream << (short)type_ << ' ' << (uintptr_t)get_mutex() << ' ' << (owner != nullptr ? owner->get_pid() : -1);
+  stream << (short)type_ << ' ' << get_mutex()->get_id() << ' ' << (owner != nullptr ? owner->get_pid() : -1);
 }
 
 bool MutexObserver::is_enabled()