@@ -94,10 +94,11 @@
 static void
 uncaught_exception_handler(id exception)
 {
 	fprintf(stderr, "\nRuntime error: Unhandled exception:\n%s\n",
 	    [[exception description] UTF8String]);
+	abort();
 }
 #endif
 
 static void
 enumeration_mutation_handler(id object)