From 2ee3511a37ffc7d262271f590fa180ef6c1b6bfa Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Wed, 12 Dec 2012 14:02:35 +0100
Subject: [PATCH] Shhhht.
---
.../leon/test/verification/XLangVerificationRegression.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/test/verification/XLangVerificationRegression.scala b/src/test/scala/leon/test/verification/XLangVerificationRegression.scala
index 16973fe53..9509e0898 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(
--
GitLab