From 90e30aa092eb096d7c3e6d5e6725ffd6c8fabace Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 29 Oct 2012 18:40:37 +0100
Subject: [PATCH] It means we actually don't need exitphase
---
src/main/scala/leon/LeonPhase.scala | 6 ------
1 file changed, 6 deletions(-)
diff --git a/src/main/scala/leon/LeonPhase.scala b/src/main/scala/leon/LeonPhase.scala
index b18f50d25..de1987f5f 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) = ()
-}
--
GitLab