From 951e0f63e13b5d5651e47c9918557bb64112cb3d Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Wed, 23 Mar 2016 15:26:14 +0100
Subject: [PATCH] Fix for rebase

---
 src/main/scala/leon/solvers/z3/FairZ3Solver.scala | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/scala/leon/solvers/z3/FairZ3Solver.scala b/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
index 780a9fc68..7c79597f2 100644
--- a/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
+++ b/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
@@ -14,6 +14,7 @@ import purescala.Types._
 
 import unrolling._
 import theories._
+import utils._
 
 class FairZ3Solver(val context: LeonContext, val program: Program)
   extends AbstractZ3Solver
-- 
GitLab