From d1effe32646f8779309855fbf686fc71f16894d7 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 22 Mar 2012 10:18:05 +0100
Subject: [PATCH] Remove useless message.

It is never seen, since xbt_log is not initialized at this point.
---
 src/xbt/xbt_main.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index f81daf78d6..391b573e90 100644
--- 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_VERB("Initialize XBT");
 
   xbt_log_init(argc, argv);
 }
-- 
2.20.1