From 91a65f30d62502bf4214744178f6a552e7f5b428 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 24 Oct 2012 17:07:45 +0200
Subject: [PATCH] Fix regression
---
src/main/scala/leon/plugin/AnalysisComponent.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/plugin/AnalysisComponent.scala b/src/main/scala/leon/plugin/AnalysisComponent.scala
index 0578055c5..d6fbc999a 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.")
}
--
GitLab