From 8a0a70955e7db40c3a9da10c51a5fe6807749d1b Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 19 Nov 2012 22:24:51 +0100
Subject: [PATCH] Fix output
---
src/main/scala/leon/synthesis/Synthesizer.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/synthesis/Synthesizer.scala b/src/main/scala/leon/synthesis/Synthesizer.scala
index 5b95fa9f5..8e2953edf 100644
--- a/src/main/scala/leon/synthesis/Synthesizer.scala
+++ b/src/main/scala/leon/synthesis/Synthesizer.scala
@@ -92,7 +92,7 @@ class Synthesizer(val reporter: Reporter,
}
case t: TaskRunRule=>
- val prefix = "[%-20s] ".format(Option(t.rule))
+ val prefix = "[%-20s] ".format(Option(t.rule).getOrElse("?"))
t.app.apply() match {
case RuleSuccess(sol) =>
--
GitLab