diff --git a/src/test/scala/leon/test/verification/XLangVerificationRegression.scala b/src/test/scala/leon/test/verification/XLangVerificationRegression.scala
index 16973fe53dccde7539b5013aef8a3d256cd9b7e2..9509e08989759c6eb29e49410842be3bce1a3333 100644
--- a/src/test/scala/leon/test/verification/XLangVerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/XLangVerificationRegression.scala
@@ -40,7 +40,7 @@ class XLangVerificationRegression extends FunSuite {
       assert(file.exists && file.isFile && file.canRead,
              "Benchmark %s is not a readable file".format(displayName))
 
-      println("testing " + displayName)
+      // println("testing " + displayName)
 
       val ctx = LeonContext(
         settings = Settings(