From 247a9694ea7b7cf3bd7aa335cbe0245f1933e68d Mon Sep 17 00:00:00 2001
From: Romain Ruetschi <romain.ruetschi@gmail.com>
Date: Fri, 22 Nov 2019 16:26:13 +0100
Subject: [PATCH] Remove printlns

---
 .../scala/stainless/transformers/PartialEvaluator.scala   | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/core/src/main/scala/stainless/transformers/PartialEvaluator.scala b/core/src/main/scala/stainless/transformers/PartialEvaluator.scala
index 30fe886361..b691d31df4 100644
--- 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
         }