From 2d850b736ad8ecf77ba5b39432d48e412f03c6c6 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <etienne.kneuss@epfl.ch>
Date: Thu, 12 Feb 2015 15:34:23 +0100
Subject: [PATCH] Fix trivial infinite loop.

---
 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 6ff60b5de..7e360cc43 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._
+import purescala.Constructors.{implies => impliesConstr, _}
 import purescala.Trees._
 import purescala.TreeOps._
 import purescala.TypeTrees._
-- 
GitLab