diff --git a/src/test/scala/leon/test/repair/RepairSuite.scala b/src/test/scala/leon/test/repair/RepairSuite.scala
index a68249dcf524ce967494845ef9f08f97137bd07f..e4a2d03f30a7377ccf66c50838c2f8f0796b4af9 100644
--- a/src/test/scala/leon/test/repair/RepairSuite.scala
+++ b/src/test/scala/leon/test/repair/RepairSuite.scala
@@ -12,7 +12,7 @@ class RepairSuite extends LeonTestSuite {
     RepairPhase
     
   val settings = Settings(verify = false, repair = true)
-  val reporter = new DefaultReporter(settings)
+  val reporter = new TestSilentReporter
   val ctx0 = LeonContext(
     reporter,
     new InterruptManager(reporter)