kill a deprecated function

diff --git a/include/xbt/module.h b/include/xbt/module.h
index 9405484..398e9f7 100644 (file)
--- a/include/xbt/module.h
+++ b/include/xbt/module.h
@@ -14,7 +14,6 @@
 SG_BEGIN_DECL()
 
 XBT_PUBLIC(void) xbt_init(int *argc, char **argv);
-XBT_PUBLIC(void) xbt_exit(void);
 
 SG_END_DECL()
 

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index 8b9b415..3451b60 100644 (file)
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -150,14 +150,6 @@ void xbt_init(int *argc, char **argv)
   xbt_log_init(argc, argv);
 }
 
-/** @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");
-}
-
-
 /* these two functions belong to xbt/sysdep.h, which have no corresponding .c file */
 /** @brief like free, but you can be sure that it is a function  */
 void xbt_free_f(void *p)