[trace] when destroying a container, remove its references from allContainers

diff --git a/src/instr/instr_paje.c b/src/instr/instr_paje.c
index c749648..86eeadf 100644 (file)
--- a/src/instr/instr_paje.c
+++ b/src/instr/instr_paje.c
@@ -347,6 +347,9 @@ void destroyContainer (container_t container)
     new_pajeDestroyContainer(container);
   }
 
+  //remove it from allContainers data structure
+  xbt_dict_remove (allContainers, container->name);
+
   //free
   xbt_free (container->name);
   xbt_free (container->id);