diff --git a/util/Report.cc b/util/Report.cc
index e541606c..413d03c4 100644
--- a/util/Report.cc
+++ b/util/Report.cc
@@ -304,6 +304,7 @@ Report::critical(int /* id */,
   printToBufferAppend(fmt, args);
   printBufferLine();
   va_end(args);
+  exit(1);
 }
 
 void