From 8a29ec178138b36c899833d9f369df06b329cda5 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Sun, 27 Mar 2022 11:30:30 +0200 Subject: [PATCH] Const pointer. --- src/mc/api.cpp | 2 +- src/mc/api.hpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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; -- 2.20.1