X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c7b463c9c17665403d001fc59cb649551e93d950..fa798894e27f82493fa87e7a69d7e3f6b3815053:/src/xbt/snprintf.c

diff --git a/src/xbt/snprintf.c b/src/xbt/snprintf.c
index 1e443fb690..83c8181cc6 100644
--- a/src/xbt/snprintf.c
+++ b/src/xbt/snprintf.c
@@ -1176,7 +1176,7 @@ char *bvprintf(const char *fmt, va_list ap)
     /* Do not want to use xbt_die() here, as it uses the logging
      * infrastucture and may fail to allocate memory too. */
     fprintf(stderr, "bprintf: vasprintf failed. Aborting.\n");
-    abort();
+    xbt_abort();
   }
   return res;
 }