--- a/src/HOL/Nitpick_Examples/minipick.ML Sat Aug 22 13:55:42 2020 +0200
+++ b/src/HOL/Nitpick_Examples/minipick.ML Sat Aug 22 14:48:00 2020 +0200
@@ -430,10 +430,11 @@
fun solve_any_kodkod_problem thy problems =
let
val {debug, overlord, timeout, ...} = Nitpick_Commands.default_params thy []
+ val deadline = Time.now () + timeout
val max_threads = 1
val max_solutions = 1
in
- case solve_any_problem debug overlord timeout max_threads max_solutions
+ case solve_any_problem debug overlord deadline max_threads max_solutions
problems of
JavaNotFound => "unknown"
| JavaTooOld => "unknown"