diff --git a/src/main/scala/leon/solvers/string/StringSolver.scala b/src/main/scala/leon/solvers/string/StringSolver.scala index e3500d14d972293441357cba5f76f8c7caf18a26..1276a6813ba9fa2d2ec76fefe9e05b6511ecfe9f 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 {