From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sun, 27 Mar 2022 09:30:30 +0000 (+0200)
Subject: Const pointer.
X-Git-Tag: v3.32~366
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8a29ec178138b36c899833d9f369df06b329cda5?hp=af834d1f29620ac0b9e44ef7541817d2253eec43

Const pointer.
---

diff --git a/src/mc/api.cpp b/src/mc/api.cpp
index a9aaba97ee..48005729fa 100644
--- a/src/mc/api.cpp
+++ b/src/mc/api.cpp
@@ -101,7 +101,7 @@ void Api::mc_exit(int status) const
   mc_model_checker->exit(status);
 }
 
-void Api::restore_state(simgrid::mc::Snapshot* system_state) const
+void Api::restore_state(const simgrid::mc::Snapshot* system_state) const
 {
   system_state->restore(&mc_model_checker->get_remote_process());
 }
diff --git a/src/mc/api.hpp b/src/mc/api.hpp
index 19daf85e2d..085f299cb8 100644
--- a/src/mc/api.hpp
+++ b/src/mc/api.hpp
@@ -69,7 +69,7 @@ public:
   XBT_ATTRIB_NORETURN void mc_exit(int status) const;
 
   // STATE APIs
-  void restore_state(Snapshot* system_state) const;
+  void restore_state(const Snapshot* system_state) const;
 
   // SNAPSHOT APIs
   bool snapshot_equal(const Snapshot* s1, const Snapshot* s2) const;