X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0feb1e5eca7b9473754b98405e36346804825f70..497f616aa58722489fa0e0b9b7b50b9b9ff8da14:/src/mc/mc_state.cpp diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp index a0f5fe9b1f..c0b68264fb 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 (const auto& actor : mc_model_checker->process().actors()) { + for (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;