From 1b09734b31c767c70d7e909ca203d4d99caf74f3 Mon Sep 17 00:00:00 2001 From: Aaron Eppert Date: Mon, 26 Oct 2015 18:06:41 -0400 Subject: [PATCH] Remove. --- src/Reporter.cc | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/Reporter.cc b/src/Reporter.cc index 02dd11adf1..6020b6569c 100644 --- a/src/Reporter.cc +++ b/src/Reporter.cc @@ -88,11 +88,7 @@ void Reporter::FatalError(const char* fmt, ...) va_end(ap); set_processing_status("TERMINATED", "fatal_error"); -#ifdef DEBUG - abort(); -#else exit(1); -#endif // DEBUG } void Reporter::FatalErrorWithCore(const char* fmt, ...)