From 8ec5b0b05442ccdf5cb64009a9d46e4d6b015452 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 23 Nov 2012 00:15:48 +0100
Subject: [PATCH] useless cosmetic

---
 src/xbt/xbt_main.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index ee71649c2f..46686bbe00 100644
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -128,7 +128,8 @@ void xbt_init(int *argc, char **argv)
   xbt_log_init(argc, argv);
 }
 
-/** @brief Finalize the xbt mechanisms. */
+/** @brief Finalize the xbt mechanisms.
+ *  @warning this function is deprecated. Just don't call it, there is nothing more to do to finalize xbt*/
 void xbt_exit()
 {
   XBT_WARN("This function is deprecated, you shouldn't use it");
-- 
2.20.1