From f6a984ced1a736196ac8a838fdca1c67fa48c70f Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 1 Nov 2012 15:34:32 +0100
Subject: [PATCH] Woops
---
src/main/scala/leon/synthesis/Synthesizer.scala | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/src/main/scala/leon/synthesis/Synthesizer.scala b/src/main/scala/leon/synthesis/Synthesizer.scala
index 8e146e1ec..7fc3fa884 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)
}
--
GitLab