From de8f5295dbc064d2cabf3879073484cd20d1c0f0 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <etienne.kneuss@epfl.ch>
Date: Thu, 12 Feb 2015 18:50:03 +0100
Subject: [PATCH] Fix
---
src/main/scala/leon/solvers/combinators/UnrollingSolver.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala b/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala
index 7e360cc43..6ff60b5de 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._
--
GitLab