convert a dict into a unordered_map

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

diff --git a/src/instr/instr_config.cpp b/src/instr/instr_config.cpp
index 3e229a1..9e5889a 100644 (file)
--- a/src/instr/instr_config.cpp
+++ b/src/instr/instr_config.cpp
@@ -144,7 +144,6 @@ int TRACE_end()
     /* destroy all data structures of tracing (and free) */
     PJ_container_free_all();
     recursiveDestroyType (PJ_type_get_root());
-    PJ_container_release();
     rootType = nullptr;
 
     /* close the trace files */