From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 3 Mar 2023 14:31:22 +0000 (+0100)
Subject: fix MC + gcc builds
X-Git-Tag: v3.34~388
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2c52acbdae85e21f07a5c4183669bb555520cf6b

fix MC + gcc builds
---

diff --git a/src/mc/explo/DFSExplorer.cpp b/src/mc/explo/DFSExplorer.cpp
index 386c43c097..7bd96aa706 100644
--- a/src/mc/explo/DFSExplorer.cpp
+++ b/src/mc/explo/DFSExplorer.cpp
@@ -80,7 +80,7 @@ std::vector<std::string> DFSExplorer::get_textual_trace() // override
 void DFSExplorer::log_state() // override
 {
   on_log_state_signal(get_remote_app());
-  XBT_INFO("DFS exploration ended. %ld unique states visited; %ld backtracks (%lu transition replays, %lu states "
+  XBT_INFO("DFS exploration ended. %ld unique states visited; %lu backtracks (%lu transition replays, %lu states "
            "visited overall)",
            State::get_expanded_states(), backtrack_count_, visited_states_count_,
            Transition::get_replayed_transitions());