killing mc_get_remote_simulation()

diff --git a/src/mc/api.cpp b/src/mc/api.cpp
index 661189b34e16cb91ccde9f4b308ad8a72053bf39..8b8b77b181a49466eeb54ad2f52fd24f2c7ec7ee 100644 (file)
--- a/src/mc/api.cpp
+++ b/src/mc/api.cpp
@@ -522,11 +522,6 @@ void Api::set_checker(Checker* const checker) const
   mc_model_checker->setChecker(checker);
 }
 
   mc_model_checker->setChecker(checker);
 }
 

-RemoteSimulation& Api::mc_get_remote_simulation() const
-{
-  return mc_model_checker->get_remote_simulation();
-}
-

 void Api::handle_simcall(Transition const& transition) const
 {
   mc_model_checker->handle_simcall(transition);
 void Api::handle_simcall(Transition const& transition) const
 {
   mc_model_checker->handle_simcall(transition);

diff --git a/src/mc/api.hpp b/src/mc/api.hpp
index 73ed21fb9d666cc55eac649f3e23f1b408bc1a32..f1065aba143742490d689abae3a75ae296d91ffb 100644 (file)
--- a/src/mc/api.hpp
+++ b/src/mc/api.hpp
@@ -84,7 +84,6 @@ public:
   bool mc_is_null() const;
   Checker* mc_get_checker() const;
   void set_checker(Checker* const checker) const;
   bool mc_is_null() const;
   Checker* mc_get_checker() const;
   void set_checker(Checker* const checker) const;

-  RemoteSimulation& mc_get_remote_simulation() const;

   void handle_simcall(Transition const& transition) const;
   void mc_wait_for_requests() const;
   XBT_ATTRIB_NORETURN void mc_exit(int status) const;
   void handle_simcall(Transition const& transition) const;
   void mc_wait_for_requests() const;
   XBT_ATTRIB_NORETURN void mc_exit(int status) const;