diff --git a/src/main/scala/leon/LeonPhase.scala b/src/main/scala/leon/LeonPhase.scala
index b18f50d2559a196b22163b3c62ed3def2f610ef0..de1987f5f777804ea160038391a421c6e5cddf0c 100644
--- a/src/main/scala/leon/LeonPhase.scala
+++ b/src/main/scala/leon/LeonPhase.scala
@@ -33,9 +33,3 @@ case class NoopPhase[T]() extends LeonPhase[T, T] {
   val description = "no-op"
   override def run(ctx: LeonContext)(v: T) = v
 }
-
-case class ExitPhase() extends LeonPhase[Any, Unit] {
-  val name = "end";
-  val description = "end"
-  override def run(ctx: LeonContext)(v: Any) = ()
-}