src/HOL/Nitpick_Examples/minipick.ML
changeset 54845 10df188349b3
parent 50487 9486641e691b
child 55199 ba93ef2c0d27
     1.1 --- a/src/HOL/Nitpick_Examples/minipick.ML	Sat Dec 21 09:44:30 2013 +0100
     1.2 +++ b/src/HOL/Nitpick_Examples/minipick.ML	Sat Dec 21 09:44:30 2013 +0100
     1.3 @@ -429,11 +429,11 @@
     1.4  
     1.5  fun solve_any_kodkod_problem thy problems =
     1.6    let
     1.7 -    val {debug, overlord, ...} = Nitpick_Isar.default_params thy []
     1.8 +    val {debug, overlord, timeout, ...} = Nitpick_Isar.default_params thy []
     1.9      val max_threads = 1
    1.10      val max_solutions = 1
    1.11    in
    1.12 -    case solve_any_problem debug overlord NONE max_threads max_solutions
    1.13 +    case solve_any_problem debug overlord timeout max_threads max_solutions
    1.14                             problems of
    1.15        JavaNotFound => "unknown"
    1.16      | JavaTooOld => "unknown"