diff --git a/src/main/scala/leon/codegen/CodeGeneration.scala b/src/main/scala/leon/codegen/CodeGeneration.scala
index 7ed53e440042d9e0507391e86bd131ce0112c335..ae4cf910277552c3ce1be662b910294a113e00ed 100644
--- a/src/main/scala/leon/codegen/CodeGeneration.scala
+++ b/src/main/scala/leon/codegen/CodeGeneration.scala
@@ -379,7 +379,6 @@ object CodeGeneration {
 
     cf.addDefaultConstructor
 
-    cf.writeToFile(cName + ".class")
     cf
   }
 
@@ -511,7 +510,6 @@ object CodeGeneration {
       hch.freeze
     }
 
-    cf.writeToFile(cName + ".class")
     cf
   }
 }