model-checker : equal_to field of blocks/fragments updated twice with match_equals

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

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index 93c8e5c..3b453c6 100644 (file)
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -105,12 +105,14 @@ static void xbt_postexit(void)
   xbt_fifo_postexit();
   xbt_dict_postexit();
 
-  xbt_log_postexit();
   xbt_os_thread_mod_postexit();
 
-  free(xbt_binary_name);
   xbt_dynar_free(&xbt_cmdline);
 
+  xbt_log_postexit();
+
+  free(xbt_binary_name);
+
 #ifdef MMALLOC_WANT_OVERRIDE_LEGACY
   mmalloc_postexit();
 #endif