From: eazimi Date: Mon, 25 Jan 2021 16:31:09 +0000 (+0100) Subject: killing mc_get_remote_simulation() X-Git-Tag: v3.27~519 X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/84ca10aa757a833c99ebd7a845a78ba09569ff13 killing mc_get_remote_simulation() --- diff --git a/src/mc/api.cpp b/src/mc/api.cpp index 661189b34e..8b8b77b181 100644 --- 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); } -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); diff --git a/src/mc/api.hpp b/src/mc/api.hpp index 73ed21fb9d..f1065aba14 100644 --- 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; - 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;