X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/272ccad1b68b6d9c17069f3c934886925bb15b5d..5fa8d6780a107eb5ae1ff8a233b0dd23cb065f8a:/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;
 }