From 76305bb81758e7584624e594d8d9847383fd1eb3 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Thu, 4 Apr 2013 15:33:20 +0200
Subject: [PATCH] Fix PC being ignored by Synthesizer
---
src/main/scala/leon/synthesis/ChooseInfo.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/synthesis/ChooseInfo.scala b/src/main/scala/leon/synthesis/ChooseInfo.scala
index 3ea6081ab..888e923fb 100644
--- a/src/main/scala/leon/synthesis/ChooseInfo.scala
+++ b/src/main/scala/leon/synthesis/ChooseInfo.scala
@@ -12,8 +12,8 @@ case class ChooseInfo(ctx: LeonContext,
ch: Choose,
options: SynthesisOptions) {
- val synthesizer = new Synthesizer(ctx, Some(fd), prog, Problem.fromChoose(ch), options)
val problem = Problem.fromChoose(ch, pc)
+ val synthesizer = new Synthesizer(ctx, Some(fd), prog, problem, options)
}
object ChooseInfo {
--
GitLab