From 95802d341f6ec40f719725b782391fd040f2418b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <a-mikmay@microsoft.com>
Date: Tue, 17 Nov 2015 12:14:34 +0100
Subject: [PATCH] Removed debugging command
---
src/main/scala/leon/solvers/string/StringSolver.scala | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/main/scala/leon/solvers/string/StringSolver.scala b/src/main/scala/leon/solvers/string/StringSolver.scala
index e3500d14d..1276a6813 100644
--- a/src/main/scala/leon/solvers/string/StringSolver.scala
+++ b/src/main/scala/leon/solvers/string/StringSolver.scala
@@ -320,8 +320,6 @@ object StringSolver {
}
val (bounded, notbounded) = b.partition(isBounded _)
- println(s"After partition, bounded = $bounded, b=$b and notbounded = $notbounded")
-
if(notbounded == Nil) true
else if(notbounded == b) false
else {
--
GitLab