From 3f5f61f38dfb51aacaba4bb31301dd832e483e25 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 19 Dec 2012 18:18:45 +0100
Subject: [PATCH] Remove spurious println
---
src/test/scala/leon/test/synthesis/SynthesisSuite.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/test/synthesis/SynthesisSuite.scala b/src/test/scala/leon/test/synthesis/SynthesisSuite.scala
index 99bbf5dc3..55ec29906 100644
--- a/src/test/scala/leon/test/synthesis/SynthesisSuite.scala
+++ b/src/test/scala/leon/test/synthesis/SynthesisSuite.scala
@@ -139,7 +139,7 @@ object Injection {
rules.ADTSplit.instantiateOn(sctx, p).head.apply(sctx) match {
case RuleDecomposed(subs) =>
for (sub <- subs; alt <- rules.CEGIS.instantiateOn(sctx, sub)) {
- println(assertRuleSuccess(sctx, alt))
+ assertRuleSuccess(sctx, alt)
}
case _ =>
assert(false, "Woot?")
--
GitLab