diff --git a/src/main/scala/leon/synthesis/ChooseInfo.scala b/src/main/scala/leon/synthesis/ChooseInfo.scala
index 3ea6081abfbbde526d0e9d5fa9293b852de0d88a..888e923fb8c358849011e501b837b17aef4619ec 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 {