From 0e7bfc326d0cba5fb49eb30d1c6bb5379eb2a879 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 9 Jan 2013 12:33:57 +0100
Subject: [PATCH] Propagate the AtomicBoolean used by the SIGINT handler
---
src/main/scala/leon/synthesis/SynthesisContext.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/synthesis/SynthesisContext.scala b/src/main/scala/leon/synthesis/SynthesisContext.scala
index aa46f6381..1245490fd 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)
}
}
--
GitLab