From 859443eb2b69ec1276b7495789b29ba5d51cc645 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 27 Aug 2015 16:13:36 +0200
Subject: [PATCH] Tidy imports here
---
src/main/scala/leon/purescala/MethodLifting.scala | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/src/main/scala/leon/purescala/MethodLifting.scala b/src/main/scala/leon/purescala/MethodLifting.scala
index 38319eb22..277803109 100644
--- a/src/main/scala/leon/purescala/MethodLifting.scala
+++ b/src/main/scala/leon/purescala/MethodLifting.scala
@@ -9,9 +9,8 @@ import Expressions._
import Extractors._
import ExprOps._
import Types._
-import Constructors.and
+import Constructors._
import TypeOps.instantiateType
-import Constructors.application
object MethodLifting extends TransformationPhase {
@@ -89,7 +88,6 @@ object MethodLifting extends TransformationPhase {
val cse = SimpleCase(InstanceOfPattern(Some(binder), at), newE).setPos(newE)
(recs :+ cse, true)
}
-
}
--
GitLab