X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8cbf22c982842e3e988125fef8f898dec699097b..14a69c191a473f265fb15fe827e31bcc12b39364:/src/xbt/ex.c

diff --git a/src/xbt/ex.c b/src/xbt/ex.c
index 3f333ce914..1d15d7a589 100644
--- a/src/xbt/ex.c
+++ b/src/xbt/ex.c
@@ -176,8 +176,7 @@ void xbt_ex_display(xbt_ex_t * e)
 void __xbt_ex_terminate_default(xbt_ex_t * e)
 {
   xbt_ex_display(e);
-
-  abort();
+  xbt_abort();
 }
 
 /* the externally visible API */