MC: inline a function

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

diff --git a/src/mc/api.hpp b/src/mc/api.hpp
index 4a03606a5ffb2d523d3909ae7ed71bb0a7e81e62..3885f2260a64ef1745c6f673f13bd6051e5b47ee 100644 (file)
--- a/src/mc/api.hpp
+++ b/src/mc/api.hpp
@@ -96,9 +96,7 @@ public:
 
   // MODEL CHECKER APIs
   void mc_inc_visited_states() const;
-  void mc_inc_executed_trans() const;
   unsigned long mc_get_visited_states() const;
-  unsigned long mc_get_executed_trans() const;
   void mc_check_deadlock() const;
   void handle_simcall(Transition const& transition) const;
   void mc_wait_for_requests() const;