No more classes, bis.

ddda3580 · Philippe Suter · e709baf1 · ddda3580
Commit ddda3580 authored 12 years ago by Philippe Suter
--- 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
  }
 }