diff --git a/src/main/scala/leon/codegen/CodeGenPhase.scala b/src/main/scala/leon/codegen/CodeGenPhase.scala
index cd2df91d2cd90f6c75415e0ef37fcf7ef439af6c..c5e065575ac1bcfe847db65623d8a006818efe04 100644
--- a/src/main/scala/leon/codegen/CodeGenPhase.scala
+++ b/src/main/scala/leon/codegen/CodeGenPhase.scala
@@ -17,7 +17,7 @@ object CodeGenPhase extends LeonPhase[Program,CompilationResult] {
 
     CompilationUnit.compileProgram(p) match {
       case Some(unit) => 
-        unit.writeClassFiles()
+        //unit.writeClassFiles()
         CompilationResult(successful = true)
       case None =>
         CompilationResult(successful = false)