Reduce a bit the adherance of handle_waitpid to ModelChecker

[simgrid.git] / src / dag / loaders.cpp

diff --git a/src/dag/loaders.cpp b/src/dag/loaders.cpp
index 676b98b..d4d99a2 100644 (file)
--- a/src/dag/loaders.cpp
+++ b/src/dag/loaders.cpp
@@ -22,6 +22,7 @@
 
 #if SIMGRID_HAVE_JSON
 #include <nlohmann/json.hpp>
+#include <sstream>
 #endif
 
 #if HAVE_GRAPHVIZ
@@ -121,9 +122,11 @@ std::vector<ActivityPtr> create_DAG_from_json(const std::string& filename)
         else if (dynamic_cast<Comm*>(parent_activity.get()) != nullptr)
           dynamic_cast<Comm*>(current.get())->set_source(dynamic_cast<Comm*>(parent_activity.get())->get_destination());
       }
+    } else if (XBT_LOG_ISENABLED(dag_parsing, xbt_log_priority_debug)) {
+      std::stringstream ss;
+      ss << task["type"];
+      XBT_DEBUG("Task type \"%s\" not supported.", ss.str().c_str());
     }
-    else
-      XBT_DEBUG("Task type \"%s\" not supported.", task["type"]);
 
     dag.push_back(current);
     for (auto const& parent: task["parents"]) {