mc: Kill dead code

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

diff --git a/src/mc/api.hpp b/src/mc/api.hpp
index 23b9043a15266d1dc03d6cc718111f6de7aed872..5f41f78ee7af6aad21191f241ee126b8f8d9f028 100644 (file)
--- a/src/mc/api.hpp
+++ b/src/mc/api.hpp
@@ -100,7 +100,6 @@ public:
   unsigned long mc_get_visited_states() const;
   unsigned long mc_get_executed_trans() const;
   void mc_check_deadlock() const;
-  bool mc_is_null() const;
   Checker* mc_get_checker() const;
   void handle_simcall(Transition const& transition) const;
   void mc_wait_for_requests() const;