Move dot_label() from Observer to Transition (+ some reorgs)

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

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index daee1b9..ab99ea5 100644 (file)
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -56,7 +56,6 @@ public:
 
   /* Interactions with the simcall observer */
   bool simcall_is_visible(aid_t aid);
-  std::string simcall_dot_label(aid_t aid, int times_considered);
 
   XBT_ATTRIB_NORETURN void exit(int status);