adjust example
authorblanchet
Thu Aug 30 11:31:20 2012 +0200 (2012-08-30)
changeset 4902672dcf53c1ee4
parent 49025 7e89b0520e83
child 49027 fc3b9b49c92d
adjust example
src/HOL/Nitpick_Examples/minipick.ML
     1.1 --- a/src/HOL/Nitpick_Examples/minipick.ML	Thu Aug 30 09:48:27 2012 +0200
     1.2 +++ b/src/HOL/Nitpick_Examples/minipick.ML	Thu Aug 30 11:31:20 2012 +0200
     1.3 @@ -435,7 +435,7 @@
     1.4    in
     1.5      case solve_any_problem debug overlord NONE max_threads max_solutions
     1.6                             problems of
     1.7 -      JavaNotInstalled => "unknown"
     1.8 +      JavaNotFound => "unknown"
     1.9      | JavaTooOld => "unknown"
    1.10      | KodkodiNotInstalled => "unknown"
    1.11      | Normal ([], _, _) => "none"