From b7f011a117d012ef6fa979fc197fc1b3c2d3ec33 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <etienne.kneuss@epfl.ch>
Date: Wed, 5 Nov 2014 13:40:13 +0100
Subject: [PATCH] It was a type parameter in disguise after all
---
src/main/scala/leon/LeonPhase.scala | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/main/scala/leon/LeonPhase.scala b/src/main/scala/leon/LeonPhase.scala
index b116d68f5..840d96f8d 100644
--- a/src/main/scala/leon/LeonPhase.scala
+++ b/src/main/scala/leon/LeonPhase.scala
@@ -16,10 +16,10 @@ abstract class TransformationPhase extends LeonPhase[Program, Program] {
}
}
-abstract class UnitPhase[Program] extends LeonPhase[Program, Program] {
- def apply(ctx: LeonContext, p: Program): Unit
+abstract class UnitPhase[T] extends LeonPhase[T, T] {
+ def apply(ctx: LeonContext, p: T): Unit
- override def run(ctx: LeonContext)(p: Program) = {
+ override def run(ctx: LeonContext)(p: T) = {
apply(ctx, p)
p
}
--
GitLab