X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/238ba443a8fb93bf6a0d5e14265a93f443b1adab..2e20b9d63d8a9ca26f8b508b5cab294acc3b608a:/src/kernel/actor/MutexObserver.cpp

diff --git a/src/kernel/actor/MutexObserver.cpp b/src/kernel/actor/MutexObserver.cpp
index 33be57db42..4c54def39e 100644
--- 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()