Index: lib/External/isl/include/isl/isl-noexceptions.h
===================================================================
--- lib/External/isl/include/isl/isl-noexceptions.h
+++ lib/External/isl/include/isl/isl-noexceptions.h
@@ -38,6 +38,7 @@
     fputs("Assertion \"" #test "\" failed at " __FILE__      \
       ":" ISLPP_STRINGIZE(__LINE__) "\n  " message "\n",     \
       stderr);                                               \
+    abort();                                                 \
   } while (0)
 
 class boolean {