diff --git a/src/test/scala/leon/test/synthesis/SynthesisSuite.scala b/src/test/scala/leon/test/synthesis/SynthesisSuite.scala
index 99bbf5dc3c1c53017f7829282bf30ec1819940f6..55ec2990603fbdf2e1b150ccea563d7e248b7459 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?")