Convert Api::get_maxpid() into RemoteApp::get_maxpid()

[simgrid.git] / src / mc / api / RemoteApp.cpp

diff --git a/src/mc/api/RemoteApp.cpp b/src/mc/api/RemoteApp.cpp
index 810f527..5edd18c 100644 (file)
--- a/src/mc/api/RemoteApp.cpp
+++ b/src/mc/api/RemoteApp.cpp
@@ -130,6 +130,11 @@ void RemoteApp::close()
   }
 }
 
+unsigned long RemoteApp::get_maxpid() const
+{
+  return model_checker_->get_remote_process().get_maxpid();
+}
+
 void RemoteApp::get_actors_status(std::map<aid_t, ActorState>& whereto)
 {
   s_mc_message_t msg;