diff --git a/src/main/scala/leon/evaluators/StringTracingEvaluator.scala b/src/main/scala/leon/evaluators/StringTracingEvaluator.scala
index eab11c03772a791e22a68b7b79f127edff7f26db..84da8f21d7957aaba69ae86811bc8c8ec63a4ae3 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))
 
   }