Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge with fragmagit/master
[simgrid.git] / src / mc / mc_api.hpp
index d26ab5e..401eae0 100644 (file)
@@ -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;