Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix MC builds, bummer
[simgrid.git] / src / mc / mc_state.cpp
index a0f5fe9..c0b6826 100644 (file)
@@ -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;