diff --git a/src/main/scala/leon/purescala/SubTreeOps.scala b/src/main/scala/leon/purescala/SubTreeOps.scala
index 140bd5edc2ff5f316a7afb0d90442df12b78ced8..1d96f070b1538a1a4d40a9e845d215dbf4848d77 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._