diff --git a/src/main/scala/leon/plugin/AnalysisComponent.scala b/src/main/scala/leon/plugin/AnalysisComponent.scala
index 7756946ad0ad11a87560d6bc1bb42882d3765469..08b94f8304030fedd3cc8b19c6fbff5ae255c8b1 100644
--- a/src/main/scala/leon/plugin/AnalysisComponent.scala
+++ b/src/main/scala/leon/plugin/AnalysisComponent.scala
@@ -21,7 +21,10 @@ class AnalysisComponent(val global: Global, val pluginInstance: LeonPlugin)
   
   protected def stopIfErrors: Unit = {
     if(reporter.hasErrors) {
-      throw new Exception("There were errors.")
+      if(Settings.simpleOutput)
+        println("error")
+      sys.exit(1)
+      //throw new Exception("There were errors.")
     }
   }