Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Use structured binding declarations (sonar, c++17).
[simgrid.git] / src / mc / api.cpp
index a9aaba97eecdd75a744e069ccce729a021477028..48005729fa849ba0165dceb37503f2685a10abdc 100644 (file)
@@ -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());
 }