-/* Copyright (c) 2008-2022. The SimGrid Team.
+/* Copyright (c) 2008-2023. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
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;
}