From 5f7ac8567fc1d7ad69f046a4f163ded25de920b1 Mon Sep 17 00:00:00 2001 From: Tom Cornebize Date: Wed, 25 May 2022 14:02:40 +0200 Subject: [PATCH] Seal the platform in graphicator before dumping --- tools/graphicator/graphicator.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/graphicator/graphicator.cpp b/tools/graphicator/graphicator.cpp index 284ec199b6..bc9a50a535 100644 --- 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 ", 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); -- 2.20.1