Dont pass as a parameter something that is already known as a field of the receiver...

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index faccd35..1a52b69 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -115,12 +115,12 @@ void ModelChecker::shutdown()
   }
 }
 
-void ModelChecker::resume(RemoteProcess& process)
+void ModelChecker::resume()
 {
   int res = checker_side_.get_channel().send(MessageType::CONTINUE);
   if (res)
     throw xbt::errno_error();
-  process.clear_cache();
+  remote_process_->clear_cache();
 }
 
 static void MC_report_crash(int status)
@@ -297,7 +297,7 @@ void ModelChecker::handle_waitpid()
 
 void ModelChecker::wait_for_requests()
 {
-  this->resume(get_remote_process());
+  this->resume();
   if (this->get_remote_process().running())
     checker_side_.dispatch();
 }

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index a01e78c..4807fbf 100644 (file)
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -47,7 +47,7 @@ public:
 
   void start();
   void shutdown();
-  void resume(simgrid::mc::RemoteProcess& process);
+  void resume();
   void wait_for_requests();
   void handle_simcall(Transition const& transition);