Make parameters pointer/reference-to-const (sonar).

[simgrid.git] / src / mc / explo / Exploration.cpp

diff --git a/src/mc/explo/Exploration.cpp b/src/mc/explo/Exploration.cpp
index d50266c2dce7a3f706c9aae2e1b738e7a5a3dfd0..e23d38c659950d220e5f7663d6052a3a752d7d1c 100644 (file)
--- a/src/mc/explo/Exploration.cpp
+++ b/src/mc/explo/Exploration.cpp
@@ -19,8 +19,8 @@ Exploration::Exploration(const std::vector<char*>& args) : remote_app_(std::make
 void Exploration::log_state()
 {
   if (not _sg_mc_dot_output_file.get().empty()) {
-    fprintf(dot_output, "}\n");
-    fclose(dot_output);
+    mc_model_checker->dot_output("}\n");
+    mc_model_checker->dot_output_close();
   }
   if (getenv("SIMGRID_MC_SYSTEM_STATISTICS")) {
     int ret = system("free");