diff --git a/mps/code/testlib.c b/mps/code/testlib.c
index 7634fcf181c..fe81040ae85 100644
--- a/mps/code/testlib.c
+++ b/mps/code/testlib.c
@@ -328,7 +328,7 @@ void verror(const char *format, va_list args)
   vfprintf(stderr, format, args);
   fprintf(stderr, "\n");
   fflush(stderr); /* make sure the message is output */
-  exit(1);
+  abort();
 }