From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 1 Feb 2017 23:58:06 +0000 (+0100)
Subject: Fix MC builds, bummer
X-Git-Tag: v3_15~489
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/497f616aa58722489fa0e0b9b7b50b9b9ff8da14?ds=sidebyside

Fix MC builds, bummer
---

diff --git a/src/mc/mc_checkpoint.cpp b/src/mc/mc_checkpoint.cpp
index 75a0531c7b..37169199f7 100644
--- a/src/mc/mc_checkpoint.cpp
+++ b/src/mc/mc_checkpoint.cpp
@@ -77,7 +77,7 @@ static void restore(mc_mem_region_t region)
     break;
 
   case simgrid::mc::StorageType::Privatized:
-    for (const auto& p : region->privatized_data())
+    for (auto& p : region->privatized_data())
       restore(&p);
     break;
   }
@@ -149,7 +149,7 @@ static void get_memory_regions(simgrid::mc::Process* process, simgrid::mc::Snaps
   const size_t n = process->object_infos.size();
   snapshot->snapshot_regions.resize(n + 1);
   int i = 0;
-  for (const auto const& object_info : process->object_infos)
+  for (auto const& object_info : process->object_infos)
     add_region(i++, snapshot, simgrid::mc::RegionType::Data,
       object_info.get(),
       object_info->start_rw, object_info->start_rw,
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;