diff --git a/src/test/scala/leon/test/codegen/CodeGenTests.scala b/src/test/scala/leon/test/codegen/CodeGenTests.scala
index fe876c9e51a216590b7645452ed8379438ea2186..4a038530794b4b6175d554256f7bb01cb5c3b687 100644
--- a/src/test/scala/leon/test/codegen/CodeGenTests.scala
+++ b/src/test/scala/leon/test/codegen/CodeGenTests.scala
@@ -53,15 +53,10 @@ class CodeGenTests extends test.LeonTestSuite {
   
   private def testCodeGen(prog : TestCase, requireMonitor : Boolean, doInstrument : Boolean) { test(prog.name) {
     import prog._
-    val ctx = testContext.copy(
-      // We want a reporter that actually prints some output
-      reporter = new DefaultReporter(testContext.settings)
-    )
+    val ctx = createLeonContext() 
     
     val ast = pipeline.run(ctx)( (content, List()) )
     
-    //ctx.reporter.info(purescala.ScalaPrinter(ast))
-    
     val compiled = compileTestFun(ast, functionToTest, ctx, requireMonitor, doInstrument)
     try { compiled(args) match {
       case Successful(res) if res == expected =>