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, ...)