From 1c9e614280698a6dce461f85b683d172e7948646 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 16 Jan 2021 00:00:27 +0100
Subject: [PATCH] kill an ugly function that would break code separation if
 used

---
 src/mc/mc_api.cpp | 5 -----
 src/mc/mc_api.hpp | 1 -
 2 files changed, 6 deletions(-)

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;
-- 
2.20.1