From 27e1cbea174d85571a674a64f00d801efceb9719 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 23 Oct 2012 18:43:46 +0200
Subject: [PATCH] Plop
---
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 a4ab6b46f..e894cfcfb 100644
--- a/src/main/scala/leon/synthesis/Synthesizer.scala
+++ b/src/main/scala/leon/synthesis/Synthesizer.scala
@@ -32,7 +32,7 @@ class Synthesizer(val r: Reporter, val solvers: List[Solver]) {
alternatives.find(_.isSuccess) match {
case Some(ss) =>
- info(" => "+ss.rule+" succeeded")
+ info(" => Rule "+ss.rule+" succeeded")
ss.succeeded()
case None =>
info(" => Possible Next Steps:")
--
GitLab