Do not mangle recorded paths when building for coverage.

[simgrid.git] / tools / graphicator / graphicator.cpp

diff --git a/tools/graphicator/graphicator.cpp b/tools/graphicator/graphicator.cpp
index 284ec199b6da8aa1b1cee60a70ac640199765826..bc9a50a535c8b8689662c42634d7457b77c196ac 100644 (file)
--- a/tools/graphicator/graphicator.cpp
+++ b/tools/graphicator/graphicator.cpp
@@ -13,6 +13,7 @@ int main(int argc, char** argv)
   xbt_assert(argc == 3, "Usage: %s <platform_file.xml> <graphviz_file.dot|graphviz_file.csv>", argv[0]);
 
   e.load_platform(argv[1]);
+  e.seal_platform();
 
   const std::string outputfile(argv[2]);
   const std::string extension = outputfile.substr(outputfile.find_last_of(".") + 1);