From 6f8108a7689855efff33adb2f5eabda3272ba3ba Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 25 Oct 2012 01:49:03 +0200
Subject: [PATCH] Those are no longer needed here
---
src/main/scala/leon/purescala/Trees.scala | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index c8e1dd18f..246f335ad 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -6,8 +6,6 @@ object Trees {
import Common._
import TypeTrees._
import Definitions._
- import Extractors._
- import TreeOps._
/* EXPRESSIONS */
--
GitLab