From ac9f2313b09e3e4c035607f3e4b116a3ea349291 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 7 Jun 2023 10:44:40 +0200
Subject: [PATCH] Use xbt_die instead of xbt_assert(false).

---
 tools/graphicator/graphicator.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/graphicator/graphicator.cpp b/tools/graphicator/graphicator.cpp
index dbcb6e04ac..368892bd08 100644
--- a/tools/graphicator/graphicator.cpp
+++ b/tools/graphicator/graphicator.cpp
@@ -26,7 +26,7 @@ int main(int argc, char** argv)
     simgrid::instr::platform_graph_export_graphviz(outputfile);
   }
   else {
-    xbt_assert(false, "Unknown output file format, please use '.dot' or .csv' extension\n");
+    xbt_die("Unknown output file format, please use '.dot' or .csv' extension");
   }
   return 0;
 }
-- 
2.20.1