src/HOL/Nitpick_Examples/minipick.ML

   end
 
 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"
     | KodkodiNotInstalled => "unknown"
     | KodkodiTooOld => "unknown"