From e709baf15d5b107689247d2994caa7ed25af396a Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Mon, 10 Dec 2012 21:56:08 +0100
Subject: [PATCH] No more classfiles.
---
src/main/scala/leon/codegen/CodeGenPhase.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/codegen/CodeGenPhase.scala b/src/main/scala/leon/codegen/CodeGenPhase.scala
index cd2df91d2..c5e065575 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)
--
GitLab