diff --git a/src/main/scala/leon/synthesis/Synthesizer.scala b/src/main/scala/leon/synthesis/Synthesizer.scala
index 8e146e1ec892426180fce9d6b44fb029b8d35042..7fc3fa8844e250b84a822ff6fb812c75c543d3be 100644
--- a/src/main/scala/leon/synthesis/Synthesizer.scala
+++ b/src/main/scala/leon/synthesis/Synthesizer.scala
@@ -16,12 +16,13 @@ class Synthesizer(val r: Reporter, val solvers: List[Solver], generateDerivation
   import r.{error,warning,info,fatalError}
 
 
+  var derivationCounter = 1;
+
   def synthesize(p: Problem, rules: List[Rule]): Solution = {
 
     val workList = new PriorityQueue[Task]()
     val rootTask = new RootTask(this, p)
 
-    var derivationCounter = 1;
 
     workList += rootTask
 
@@ -39,8 +40,6 @@ class Synthesizer(val r: Reporter, val solvers: List[Solver], generateDerivation
       derivationCounter += 1
     }
 
-
-
     rootTask.solution.getOrElse(Solution.none)
   }