diff --git a/src/main/scala/leon/codegen/CodeGenPhase.scala b/src/main/scala/leon/codegen/CodeGenPhase.scala
deleted file mode 100644
index d76e79a835604572f2e57907c53bb5dcb7f22522..0000000000000000000000000000000000000000
--- a/src/main/scala/leon/codegen/CodeGenPhase.scala
+++ /dev/null
@@ -1,24 +0,0 @@
-/* Copyright 2009-2015 EPFL, Lausanne */
-
-package leon
-package codegen
-
-import scala.util.control.NonFatal
-
-import purescala.Definitions._
-
-object CodeGenPhase extends LeonPhase[Program,CompilationResult] {
-  val name = "CodeGen"
-  val description = "Compiles a Leon program into Java methods"
-
-  def run(ctx : LeonContext)(p : Program) : CompilationResult = {
-    try {
-      val unit = new CompilationUnit(ctx, p)
-      unit.writeClassFiles("./")
-      CompilationResult(successful = true)
-    } catch {
-      case NonFatal(e) => CompilationResult(successful = false)
-    }
-
-  } 
-}
diff --git a/src/main/scala/leon/codegen/CompilationResult.scala b/src/main/scala/leon/codegen/CompilationResult.scala
deleted file mode 100644
index e8a99e5d9c830b92fbc31c9621f3d292cf774c62..0000000000000000000000000000000000000000
--- a/src/main/scala/leon/codegen/CompilationResult.scala
+++ /dev/null
@@ -1,8 +0,0 @@
-/* Copyright 2009-2015 EPFL, Lausanne */
-
-package leon
-package codegen
-
-case class CompilationResult(
-  successful : Boolean = false
-)