From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 22 Nov 2012 23:15:48 +0000 (+0100)
Subject: useless cosmetic
X-Git-Tag: v3_9_rc1~91^2~47^2~12
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8ec5b0b05442ccdf5cb64009a9d46e4d6b015452?ds=inline

useless cosmetic
---

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");