mc_api::get().get_actors_size() called in VisitedPair()

[simgrid.git] / src / mc / mc_state.cpp

diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp
index 967d730983d6708a43b1893149f091933ae2ee62..ffd5e52ee8154d03d33b1c6481d08c885fee862c 100644 (file)
--- a/src/mc/mc_state.cpp
+++ b/src/mc/mc_state.cpp
@@ -44,7 +44,7 @@ Transition State::get_transition() const
 void State::copy_incomplete_comm_pattern()
 {
   incomplete_comm_pattern_.clear();
-  for (auto i=0; i < mcapi::get().get_maxpid(); i++) {
+  for (unsigned long i = 0; i < mcapi::get().get_maxpid(); i++) {
     std::vector<simgrid::mc::PatternCommunication> res;
     for (auto const& comm : incomplete_communications_pattern[i])
       res.push_back(comm->dup());