diff --git a/src/main/scala/leon/plugin/AnalysisComponent.scala b/src/main/scala/leon/plugin/AnalysisComponent.scala
index 0578055c5d0486bcaa544dba6b7d090685fe2d91..d6fbc999a8ad910cd77f445722c28c8699fcd066 100644
--- a/src/main/scala/leon/plugin/AnalysisComponent.scala
+++ b/src/main/scala/leon/plugin/AnalysisComponent.scala
@@ -25,7 +25,7 @@ class AnalysisComponent(val global: Global, val leonReporter: Reporter, val plug
   protected def stopIfErrors: Unit = {
     if(reporter.hasErrors) {
       if(Settings.simpleOutput)
-        leonReporter.fatalError("errrr")
+        println("error")
       sys.exit(1)
       //throw new Exception("There were errors.")
     }