diff --git a/src/purescala/FairZ3Solver.scala b/src/purescala/FairZ3Solver.scala
index 03bd51ba74d17a90c24ea18a25f0f7651dae5f26..33f61170fb3978b396a2c6bc4ceb311d8b1a95e6 100644
--- a/src/purescala/FairZ3Solver.scala
+++ b/src/purescala/FairZ3Solver.scala
@@ -247,6 +247,7 @@ class FairZ3Solver(val reporter: Reporter) extends Solver(reporter) with Abstrac
   def decideWithModel(vc: Expr, forValidity: Boolean): (Option[Boolean], Map[Identifier,Expr]) = {
     var forceStop : Boolean = false
 
+    var foundDefinitiveAnswer : Boolean = false
     def stopCallback() : Unit = {
       if(!foundDefinitiveAnswer) {
         reporter.error(" - Timeout reached.")
@@ -258,7 +259,6 @@ class FairZ3Solver(val reporter: Reporter) extends Solver(reporter) with Abstrac
     val timer : Option[Timer] = Settings.solverTimeout.map(t => new Timer(stopCallback, t))
     timer.foreach(_.start())
 
-    var foundDefinitiveAnswer : Boolean = false
     var definitiveAnswer : Option[Boolean] = None
     var definitiveModel : Map[Identifier,Expr] = Map.empty
     def foundAnswer(answer : Option[Boolean], model : Map[Identifier,Expr] = Map.empty) : Unit = {