From ca02f1db9412e1b2248a0032a375056c66cfdb97 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <samuel.chassot@epfl.ch>
Date: Wed, 11 Dec 2024 14:53:51 +0100
Subject: [PATCH] remove print that was causing errors

---
 frontends/common/src/test/scala/stainless/InputUtils.scala | 2 --
 1 file changed, 2 deletions(-)

diff --git a/frontends/common/src/test/scala/stainless/InputUtils.scala b/frontends/common/src/test/scala/stainless/InputUtils.scala
index f3529f836..7d8a296af 100644
--- a/frontends/common/src/test/scala/stainless/InputUtils.scala
+++ b/frontends/common/src/test/scala/stainless/InputUtils.scala
@@ -46,8 +46,6 @@ trait InputUtils {
       val t: xt.type = xt
     }
 
-    ctx.reporter.error(files.mkString("\n"))
-
     // Use the callback to collect the trees.
     val units = ListBuffer[xt.UnitDef]()
     val cls = ListBuffer[xt.ClassDef]()