Clean leftovers

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 8fca2ee..243a22e 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -279,7 +279,7 @@ void ModelChecker::handle_waitpid()
       }
 #endif
 
-      // We don't care about signals, just reinject them:
+      // We don't care about non-lethal signals, just reinject them:
       if (WIFSTOPPED(status)) {
         XBT_DEBUG("Stopped with signal %i", (int) WSTOPSIG(status));
         errno = 0;

diff --git a/src/mc/remote/RemoteProcess.hpp b/src/mc/remote/RemoteProcess.hpp
index 615575c..b9dca02 100644 (file)
--- a/src/mc/remote/RemoteProcess.hpp
+++ b/src/mc/remote/RemoteProcess.hpp
@@ -159,16 +159,6 @@ public:
 
   void ignore_local_variable(const char* var_name, const char* frame_name) const;
 
-  /* ***************** */
-  /* SIMIX-related API */
-  /* ***************** */
-private:
-  // Cache the address of the variables we read directly in the memory of remote
-  RemotePtr<unsigned long> maxpid_addr_;
-
-public:
-  unsigned long get_maxpid() const { return this->read(maxpid_addr_); }
-
   void dump_stack() const;
 
 private: