adding test example to trace process migration using the mask TRACE_PROCESS

[simgrid.git] / include / xbt / asserts.h

diff --git a/include/xbt/asserts.h b/include/xbt/asserts.h
index 56acf09..6bcd297 100644 (file)
--- a/include/xbt/asserts.h
+++ b/include/xbt/asserts.h
@@ -12,25 +12,18 @@
 #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)
@@ -59,10 +52,6 @@ void xbt_die(const char *msg) _XBT_GNUC_NORETURN;
      /** @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 */