From a3dad6e4ce2f022682da8d549c2e15af24abcda0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <a-mikmay@microsoft.com>
Date: Wed, 25 Nov 2015 17:15:31 +0100
Subject: [PATCH] Removed useless debug statement.
---
src/main/scala/leon/evaluators/StringTracingEvaluator.scala | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/main/scala/leon/evaluators/StringTracingEvaluator.scala b/src/main/scala/leon/evaluators/StringTracingEvaluator.scala
index eab11c037..84da8f21d 100644
--- a/src/main/scala/leon/evaluators/StringTracingEvaluator.scala
+++ b/src/main/scala/leon/evaluators/StringTracingEvaluator.scala
@@ -110,7 +110,6 @@ class StringTracingEvaluator(ctx: LeonContext, prog: Program) extends Contextual
case Operator(es, builder) =>
val (ees, ts) = es.map(e).unzip
- ctx.reporter.debug("Going to evaluate this ["+rctx.mappings+"]:\n" + builder(ees))(DebugSectionSynthesis)
(underlying.e(builder(ees)), builder(ts))
}
--
GitLab