remove print that was causing errors

epfl-lara · Dec 11, 2024 · ca02f1d · ca02f1d
1 parent 9a38f4f
commit ca02f1d
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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]()