useless cleanup

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

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index 1238139..e96f666 100644 (file)
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -99,10 +99,8 @@ xbt_exit(){
     xbt_os_thread_mod_exit();
     xbt_log_exit();
     xbt_backtrace_exit();
-  }
-   
-  if (xbt_initialized == 0)
     free(xbt_binary_name);
+  }
 }