Index: src/OFObject.m ================================================================== --- src/OFObject.m +++ src/OFObject.m @@ -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)