s/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly pitfall of the codebase

[simgrid.git] / src / xbt / ex.c

diff --git a/src/xbt/ex.c b/src/xbt/ex.c
index 3f333ce9147674746138530cba4a3827df4a5553..1d15d7a589a1c040745593439c50fecff113a9e8 100644 (file)
--- 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 */