From 3625b8a292e9e70c31fb4e77dd66b8369018bd6d Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 5 Nov 2023 22:58:37 +0100 Subject: [PATCH] Another attempt to fix the printf issue on mac: don't use uint64 :) --- src/mc/explo/udpor/UnfoldingEvent.cpp | 4 ++-- src/mc/explo/udpor/UnfoldingEvent.hpp | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/mc/explo/udpor/UnfoldingEvent.cpp b/src/mc/explo/udpor/UnfoldingEvent.cpp index 865b701db0..8651a2ac42 100644 --- a/src/mc/explo/udpor/UnfoldingEvent.cpp +++ b/src/mc/explo/udpor/UnfoldingEvent.cpp @@ -59,8 +59,8 @@ std::string UnfoldingEvent::to_string() const dependencies_string += "]"; return xbt::string_printf("Event %lu, Actor %ld: %s (%lu dependencies: %s)", this->id, associated_transition->aid_, - associated_transition->to_string().c_str(), - static_cast(immediate_causes.size()), dependencies_string.c_str()); + associated_transition->to_string().c_str(), immediate_causes.size(), + dependencies_string.c_str()); } EventSet UnfoldingEvent::get_history() const diff --git a/src/mc/explo/udpor/UnfoldingEvent.hpp b/src/mc/explo/udpor/UnfoldingEvent.hpp index 5486709576..98f40ad996 100644 --- a/src/mc/explo/udpor/UnfoldingEvent.hpp +++ b/src/mc/explo/udpor/UnfoldingEvent.hpp @@ -97,7 +97,7 @@ private: * @brief An identifier which is used to sort events * deterministically */ - uint64_t id = 0; + unsigned long id = 0; }; } // namespace simgrid::mc::udpor -- 2.20.1