diff --git a/src/main/scala/leon/synthesis/utils/Benchmarks.scala b/src/main/scala/leon/synthesis/utils/Benchmarks.scala
index 99bd387fd3d034937848b6be88301c076ffd210e..15ebc81e64b028aa1190ccf1761ac643ecf68e88 100644
--- a/src/main/scala/leon/synthesis/utils/Benchmarks.scala
+++ b/src/main/scala/leon/synthesis/utils/Benchmarks.scala
@@ -83,7 +83,7 @@ object Benchmarks extends App {
     val (program, results) = pipeline.run(innerCtx)(file.getPath :: Nil)
 
     val solver = new FairZ3Solver(ctx.copy(reporter = new SilentReporter))
-
+    solver.setProgram(program)
 
     for ((f, ps) <- results.toSeq.sortBy(_._1.id.toString); p <- ps) {
       val sctx = SynthesisContext(