From ddda3580f1fdf4d457246c5682036f85d646884d Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Mon, 10 Dec 2012 21:58:41 +0100
Subject: [PATCH] No more classes, bis.
---
src/main/scala/leon/codegen/CodeGeneration.scala | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/main/scala/leon/codegen/CodeGeneration.scala b/src/main/scala/leon/codegen/CodeGeneration.scala
index 7ed53e440..ae4cf9102 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
}
}
--
GitLab