diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index c8e1dd18f465adc574269bfce174273e26ba3630..246f335ada8a1c0d084ce1ac7e355db619805320 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 */