From e2f7ca9d6627805c06ab431c8a7b856e3f8a0216 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Tue, 7 Nov 2023 16:58:04 +0100 Subject: [PATCH] cosmetics: this is an ID, not a ptr --- src/mc/transition/TransitionSynchro.cpp | 4 ++-- src/mc/transition/TransitionSynchro.hpp | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/mc/transition/TransitionSynchro.cpp b/src/mc/transition/TransitionSynchro.cpp index 5e7ded2aed..db97fb84d8 100644 --- a/src/mc/transition/TransitionSynchro.cpp +++ b/src/mc/transition/TransitionSynchro.cpp @@ -109,9 +109,9 @@ bool MutexTransition::depends(const Transition* o) const std::string SemaphoreTransition::to_string(bool verbose) const { if (type_ == Type::SEM_ASYNC_LOCK || type_ == Type::SEM_UNLOCK) - return xbt::string_printf("%s(semaphore: %" PRIxPTR ")", Transition::to_c_str(type_), sem_); + return xbt::string_printf("%s(semaphore: %u)", Transition::to_c_str(type_), sem_); if (type_ == Type::SEM_WAIT) - return xbt::string_printf("%s(semaphore: %" PRIxPTR ", granted: %s)", Transition::to_c_str(type_), sem_, + return xbt::string_printf("%s(semaphore: %u, granted: %s)", Transition::to_c_str(type_), sem_, granted_ ? "yes" : "no"); THROW_IMPOSSIBLE; } diff --git a/src/mc/transition/TransitionSynchro.hpp b/src/mc/transition/TransitionSynchro.hpp index 8742e651cb..66ed64c91f 100644 --- a/src/mc/transition/TransitionSynchro.hpp +++ b/src/mc/transition/TransitionSynchro.hpp @@ -35,7 +35,7 @@ public: }; class SemaphoreTransition : public Transition { - uintptr_t sem_; + unsigned int sem_; // ID bool granted_; public: -- 2.20.1