#include "xbt/misc.h"
#include "simgrid_config.h" /*HAVE_MMAP _XBT_WIN32 */
-#include "gras_config.h" /* MMALLOC_WANT_OVERRIDE_LEGACY */
+#include "internal_config.h" /* MMALLOC_WANT_OVERRIDE_LEGACY */
#include "time.h" /* to seed the random generator */
#include "xbt/sysdep.h"
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");