From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 15 Jan 2021 23:00:27 +0000 (+0100)
Subject: kill an ugly function that would break code separation if used
X-Git-Tag: v3.27~556^2~3
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/1c9e614280698a6dce461f85b683d172e7948646

kill an ugly function that would break code separation if used
---

diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp
index bcb4f6663d..0eae8bb21d 100644
--- a/src/mc/mc_api.cpp
+++ b/src/mc/mc_api.cpp
@@ -365,11 +365,6 @@ void mc_api::session_initialize() const
   session->initialize();
 }
 
-ModelChecker* mc_api::get_model_checker() const
-{
-  return mc_model_checker;
-}
-
 void mc_api::mc_inc_visited_states() const
 {
   mc_model_checker->visited_states++;
diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp
index d200def428..5319007563 100644
--- a/src/mc/mc_api.hpp
+++ b/src/mc/mc_api.hpp
@@ -75,7 +75,6 @@ public:
   std::size_t get_remote_heap_bytes() const;
 
   // MODEL CHECKER APIs
-  ModelChecker* get_model_checker() const;
   void mc_inc_visited_states() const;
   void mc_inc_executed_trans() const;
   unsigned long mc_get_visited_states() const;