Seal the platform in graphicator before dumping

diff --git a/tools/graphicator/graphicator.cpp b/tools/graphicator/graphicator.cpp
index 284ec19..bc9a50a 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);