Kill "if" before free, and useless cast of free argument.

[simgrid.git] / src / instr / instr_config.c

diff --git a/src/instr/instr_config.c b/src/instr/instr_config.c
index 2259d51..1511425 100644 (file)
--- a/src/instr/instr_config.c
+++ b/src/instr/instr_config.c
@@ -107,9 +107,7 @@ int TRACE_end()
   TRACE_paje_dump_buffer(1);
 
   /* destroy all data structures of tracing (and free) */
-  if (!TRACE_disable_destroy()){
-    destroyAllContainers();
-  }
+  destroyAllContainers();
 
   /* close the trace file */
   TRACE_paje_end();
@@ -383,8 +381,8 @@ void TRACE_help (int detailed)
       "  Routes among AS continue to be traced as usual.",
       detailed);
   print_line (OPT_TRACING_DISABLE_DESTROY, "Disable platform containers destruction",
-      "  Disable the destruction of containers at the end of simulation. This can be"
-      "  used with simulators that have a different notion of time (different from"
+      "  Disable the destruction of containers at the end of simulation. This can be\n"
+      "  used with simulators that have a different notion of time (different from\n"
       "  the simulated time).",
       detailed);
   print_line (OPT_TRIVA_UNCAT_CONF, "Generate graph configuration for Triva",