From 5719f79e40e46e3c7841f1267d317b1583c389ae Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 5 Nov 2023 17:21:28 +0100 Subject: [PATCH] Avoid casting errors in printf on MacOSX --- src/mc/explo/udpor/UnfoldingEvent.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/mc/explo/udpor/UnfoldingEvent.cpp b/src/mc/explo/udpor/UnfoldingEvent.cpp index 92ac709f74..865b701db0 100644 --- a/src/mc/explo/udpor/UnfoldingEvent.cpp +++ b/src/mc/explo/udpor/UnfoldingEvent.cpp @@ -58,9 +58,9 @@ std::string UnfoldingEvent::to_string() const } dependencies_string += "]"; - return xbt::string_printf("Event %lu, Actor %ld: %s (%zu dependencies: %s)", this->id, associated_transition->aid_, - associated_transition->to_string().c_str(), immediate_causes.size(), - dependencies_string.c_str()); + 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()); } EventSet UnfoldingEvent::get_history() const -- 2.20.1