diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 95ff9c045bf1b424e4e50b0bf81dd805af8e9b57..edc7afedfb9257cbed2846add62941ac695226e2 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -289,7 +289,9 @@ object Main {
     }
   }
 
-  def execute(args: Seq[String], ctx: LeonContext): Unit = {
+  def execute(args: Seq[String], ctx0: LeonContext): Unit = {
+    val ctx = ctx0.copy(reporter = new DefaultReporter(ctx0.settings))
+
     try {
       // Compute leon pipeline
       val pipeline = computePipeline(ctx.settings)