diff --git a/src/main/scala/leon/solvers/z3/FairZ3Solver.scala b/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
index 780a9fc68c833ee85c399c4709426d24943e08cc..7c79597f21ba61532cc3f826c00efd6019393e0f 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