diff --git a/src/main/scala/leon/synthesis/SynthesisContext.scala b/src/main/scala/leon/synthesis/SynthesisContext.scala
index aa46f6381811a10de1a1436093cf338a492b070a..1245490fda7a6561547d9e8e06e04e6f1996ee88 100644
--- a/src/main/scala/leon/synthesis/SynthesisContext.scala
+++ b/src/main/scala/leon/synthesis/SynthesisContext.scala
@@ -25,7 +25,7 @@ object SynthesisContext {
       synth.program,
       synth.solver,
       synth.reporter,
-      new AtomicBoolean(false))
+      synth.shouldStop)
   }
 }