X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/400993260dd878fe2efe0650baeb255502bce927..0feb1e5eca7b9473754b98405e36346804825f70:/src/mc/mc_state.cpp diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp index c0b68264fb..a0f5fe9b1f 100644 --- a/src/mc/mc_state.cpp +++ b/src/mc/mc_state.cpp @@ -225,7 +225,7 @@ static inline smx_simcall_t MC_state_get_request_for_process( smx_simcall_t MC_state_get_request(simgrid::mc::State* state) { - for (auto& actor : mc_model_checker->process().actors()) { + for (const auto& actor : mc_model_checker->process().actors()) { smx_simcall_t res = MC_state_get_request_for_process(state, actor.copy.getBuffer()); if (res) return res;