#include "xbt/misc.h"
#include "xbt/log.h"
#include "xbt/ex.h"
-
+
SG_BEGIN_DECL()
/**
* @addtogroup XBT_error
* @brief Those are the SimGrid version of the good ol' assert macro.
*
- * <center><table><tr><td><b>Top</b> <td> [\ref index]::[\ref XBT_API]
- * <tr><td><b>Prev</b> <td> [\ref XBT_log]
- * <tr><td><b>Next</b> <td> [\ref XBT_config] </table></center>
- *
* You can pass them a format message and arguments, just as if it where a printf.
* It is converted to a CRITICALn logging request.
*
* @{
*/
-void xbt_abort(void) _XBT_GNUC_NORETURN;
-void xbt_die(const char *msg) _XBT_GNUC_NORETURN;
-
#ifdef NDEBUG
#define xbt_assert(cond)
#define xbt_assert0(cond,msg)
/** @hideinitializer */
#define xbt_assert6(cond,msg,a,b,c,d,e,f) if (!(cond)) THROW6(0,0,msg,a,b,c,d,e,f)
#endif
-
-
-/** @} */
-
-SG_END_DECL()
-
+/** @} */
+ SG_END_DECL()
#endif /* _XBT_ASSERTS_H */