X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b137fdfe8e6ab0565e61e5a0e1885fd3258b7493..122a5a2813fd6d64d4db8ee7f1fdb5a62b7e0d6a:/src/mc/api/State.cpp

diff --git a/src/mc/api/State.cpp b/src/mc/api/State.cpp
index 007b1799a9..cc85d8c5fb 100644
--- a/src/mc/api/State.cpp
+++ b/src/mc/api/State.cpp
@@ -76,7 +76,7 @@ State::State(RemoteApp& remote_app, std::shared_ptr<State> parent_state)
     /* For each actor in the previous sleep set, keep it if it is not dependent with current transition.
      * And if we kept it and the actor is enabled in this state, mark the actor as already done, so that
      * it is not explored*/
-    for (auto& [aid, transition] : parent_state_->get_sleep_set()) {
+    for (const auto& [aid, transition] : parent_state_->get_sleep_set()) {
       if (not incoming_transition_->depends(transition.get())) {
         sleep_set_.try_emplace(aid, transition);
         if (strategy_->actors_to_run_.count(aid) != 0) {