-/* They live in asserts.h, but need to be declared before this module.
- double declaration to cut dependency cycle */
-/**
- * @addtogroup XBT_error
- *
- * @{
- */
-/** @brief Kill the program in silence */
-XBT_PUBLIC(void) XBT_ATTRIB_NORETURN xbt_abort(void);
-
-/**
- * @brief Kill the program with an error message
- * \param ... a format string and its arguments
- *
- * Things are so messed up that the only thing to do now, is to stop the
- * program.
- *
- * The message is handled by a CRITICAL logging request, and may consist of a
- * format string with arguments.
- */
-#define xbt_die(...) \
- do { \
- XBT_CCRITICAL(xbt, __VA_ARGS__); \
- xbt_abort(); \
- } while (0)
-/** @} */