diff --git a/src/test/scala/leon/test/frontends/FrontEndsTest.scala b/src/test/scala/leon/test/frontends/FrontEndsTest.scala
index 9d091e0eae1e0c157994bfa7793893cedcbe9786..ce18f565578bb13f067191c23ee9848f2135bee4 100644
--- a/src/test/scala/leon/test/frontends/FrontEndsTest.scala
+++ b/src/test/scala/leon/test/frontends/FrontEndsTest.scala
@@ -48,13 +48,13 @@ class FrontEndsTest extends leon.test.LeonTestSuite {
       )
       val ctx1 = testContext.copy(
         // We want a reporter that actually prints some output
-        reporter = new DefaultReporter(settings),
+        //reporter = new DefaultReporter(settings),
         settings = settings,
         options =  testContext.options :+ LeonValueOption("o", outFileName1) //:+ LeonFlagOption("library", true)
       )
       
       val ctx2 = ctx1.copy(
-        reporter = new DefaultReporter(settings),
+        //reporter = new DefaultReporter(settings),
         settings = settings,
         options = testContext.options :+ LeonValueOption("o", outFileName2 ) //:+ LeonFlagOption("library", true)
       )