X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f97b3b1a9b57f92cdfaa887aa025f697dab985a4..a476c1fc22cde6f6b539e5fa1cbdafe4cd5e6aac:/src/mc/ModelChecker.hpp?ds=sidebyside

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index 362ca9b427..d7a7cc307f 100644
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -24,8 +24,6 @@ class ModelChecker {
   std::unique_ptr<RemoteProcess> remote_process_;
   Exploration* exploration_ = nullptr;
 
-  FILE* dot_output_ = nullptr;
-
   unsigned long visited_states_ = 0;
 
 public:
@@ -56,18 +54,6 @@ public:
   unsigned long get_visited_states() const { return visited_states_; }
   void inc_visited_states() { visited_states_++; }
 
-  void dot_output(const char* fmt, ...) XBT_ATTRIB_PRINTF(2, 3);
-  void dot_output_flush()
-  {
-    if (dot_output_ != nullptr)
-      fflush(dot_output_);
-  }
-  void dot_output_close()
-  {
-    if (dot_output_ != nullptr)
-      fclose(dot_output_);
-  }
-
 private:
   void setup_ignore();
   bool handle_message(const char* buffer, ssize_t size);