diff --git a/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala b/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala
index 7e360cc43c7434c225c0dd247d2e8adf4a8b7d15..6ff60b5deab6a3082e74aafdad381a9b8d2566c7 100644
--- a/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala
+++ b/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala
@@ -6,7 +6,7 @@ package combinators
 
 import purescala.Common._
 import purescala.Definitions._
-import purescala.Constructors.{implies => impliesConstr, _}
+import purescala.Constructors._
 import purescala.Trees._
 import purescala.TreeOps._
 import purescala.TypeTrees._