kill an ugly function that would break code separation if used

[simgrid.git] / src / mc / mc_api.hpp

diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp
index d200def..5319007 100644 (file)
--- 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;