Merge with fragmagit/master

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

diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp
index 9767e72..fa34ccb 100644 (file)
--- a/src/mc/mc_api.cpp
+++ b/src/mc/mc_api.cpp
@@ -367,11 +367,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++;