Use mallocators for dictionaries

[simgrid.git] / src / xbt / xbt_main.c

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index 927c613..92765f1 100644 (file)
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -45,6 +45,7 @@ xbt_exit(){
   if (xbt_initialized == 0) {
     free(xbt_binary_name);
     xbt_fifo_exit();
+    xbt_dict_exit();
   }
   xbt_log_exit();
 }