Remove useless message.

It is never seen, since xbt_log is not initialized at this point.

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index f81daf7..391b573 100644 (file)
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -181,7 +181,6 @@ void xbt_init(int *argc, char **argv)
 
   xbt_binary_name = xbt_strdup(argv[0]);
   srand((unsigned int) time(NULL));
 
   xbt_binary_name = xbt_strdup(argv[0]);
   srand((unsigned int) time(NULL));

-  XBT_VERB("Initialize XBT");

 
   xbt_log_init(argc, argv);
 }
 
   xbt_log_init(argc, argv);
 }