From bfbffb682d34f11f67e0e75562b936c0c89dc2e8 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 17 Mar 2016 17:02:34 +0100
Subject: [PATCH] Useless imports

---
 src/main/scala/leon/purescala/SubTreeOps.scala | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/main/scala/leon/purescala/SubTreeOps.scala b/src/main/scala/leon/purescala/SubTreeOps.scala
index 140bd5edc..1d96f070b 100644
--- a/src/main/scala/leon/purescala/SubTreeOps.scala
+++ b/src/main/scala/leon/purescala/SubTreeOps.scala
@@ -3,8 +3,6 @@
 package leon
 package purescala
 
-import Expressions.Expr
-import Types.TypeTree
 import Common._
 import utils._
 
-- 
GitLab