X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/08c6a2f66d759072267060d3d365511dd13a8cba..0bfb3cdebf6d1a0105a7a738a602015ed583a39e:/include/xbt/asserts.h

diff --git a/include/xbt/asserts.h b/include/xbt/asserts.h
index 56acf090be..0b719eaad4 100644
--- a/include/xbt/asserts.h
+++ b/include/xbt/asserts.h
@@ -19,17 +19,11 @@ 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)