diff --git a/src/main/scala/leon/purescala/SelfPrettyPrinter.scala b/src/main/scala/leon/purescala/SelfPrettyPrinter.scala
index 43be58b9bc9578849b12a1b61b3f3788b6ce17b3..03aea55aae10911a9c5e6d9fa87cecc3d06b2c5d 100644
--- a/src/main/scala/leon/purescala/SelfPrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/SelfPrettyPrinter.scala
@@ -74,7 +74,6 @@ trait PrettyPrinterFinder[T, U >: T] {
             getPrintersForType(funId.getType) match {
               case Some(u) => gatherPrettyPrinters(tail, acc += u)
               case None    =>
-                println("could not finish")
                 None
             }
         }
diff --git a/src/test/scala/leon/regression/synthesis/StablePrintingSuite.scala b/src/test/scala/leon/regression/synthesis/StablePrintingSuite.scala
index 346a6057d5c265a8a9127f765d67cc5843d29c5a..4f3b5bafd4b6b62fe36ec266fddac88de6f78efa 100644
--- a/src/test/scala/leon/regression/synthesis/StablePrintingSuite.scala
+++ b/src/test/scala/leon/regression/synthesis/StablePrintingSuite.scala
@@ -76,7 +76,7 @@ class StablePrintingSuite extends LeonRegressionSuite {
 
       while(workList.nonEmpty) {
         val reporter = new TestSilentReporter
-        val ctx = createLeonContext("--synthesis", "--timeout=120").copy(reporter = reporter)
+        val ctx = createLeonContext("--synthesis", "--solvers=smt-z3", "--timeout=120").copy(reporter = reporter)
         val j = workList.pop()
 
         info(j.info("compilation"))