Remove printlns

epfl-lara · Nov 22, 2019 · 247a969 · 247a969
1 parent a15660e
commit 247a969
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/core/src/main/scala/stainless/transformers/PartialEvaluator.scala b/core/src/main/scala/stainless/transformers/PartialEvaluator.scala
@@ -31,17 +31,11 @@ trait PartialEvaluator extends SimplifierWithPC { self =>
       } (expr)
 
       def validMeasure: Boolean = {
-        println("measure: " + measureOf(tfd.fullBody))
         measureOf(tfd.fullBody) match {
           case Some(measure) =>
             val nextMeasure = exprOps.replaceFromSymbols(tfd.params.zip(args).toMap, measure)
-            println("next: " + nextMeasure)
             val query = strictlyPositive(nextMeasure.getType, nextMeasure)
-            println("query: " + query)
-            val result = path.implies(query)
-
-            println("result: " + result)
-            result
+            path.implies(query)
 
           case None => false
         }