Const pointer.

diff --git a/src/mc/api.cpp b/src/mc/api.cpp
index a9aaba9..4800572 100644 (file)
--- 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 19daf85..085f299 100644 (file)
--- 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;