From 981f9b1710e8e60ea952a3c89e8b71437d0a1dbd Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Fri, 26 Oct 2012 17:36:10 +0200
Subject: [PATCH] Biggest change ever
---
src/main/scala/leon/synthesis/SynthesisPhase.scala | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/src/main/scala/leon/synthesis/SynthesisPhase.scala b/src/main/scala/leon/synthesis/SynthesisPhase.scala
index 49e17e441..98cc6c577 100644
--- a/src/main/scala/leon/synthesis/SynthesisPhase.scala
+++ b/src/main/scala/leon/synthesis/SynthesisPhase.scala
@@ -49,9 +49,10 @@ object SynthesisPhase extends LeonPhase[Program, Program] {
}
} else {
for ((chs, ex) <- chooseToExprs) {
- ctx.reporter.info("-"*80)
- ctx.reporter.info("For: "+chs)
- ctx.reporter.info("Synthesized Code:\n"+ScalaPrinter(ex))
+ ctx.reporter.info("-"*32+" Synthesis of: "+"-"*32)
+ ctx.reporter.info(chs)
+ ctx.reporter.info("-"*35+" Result: "+"-"*35)
+ ctx.reporter.info(ScalaPrinter(ex))
}
}
--
GitLab