# HG changeset patch
# User blanchet
# Date 1346319080 -7200
# Node ID 72dcf53c1ee44c3d48258424d5180a511f3ea935
# Parent  7e89b0520e83721cc2e90e1df4b194ec05b41a97
adjust example

diff -r 7e89b0520e83 -r 72dcf53c1ee4 src/HOL/Nitpick_Examples/minipick.ML
--- a/src/HOL/Nitpick_Examples/minipick.ML	Thu Aug 30 09:48:27 2012 +0200
+++ b/src/HOL/Nitpick_Examples/minipick.ML	Thu Aug 30 11:31:20 2012 +0200
@@ -435,7 +435,7 @@
   in
     case solve_any_problem debug overlord NONE max_threads max_solutions
                            problems of
-      JavaNotInstalled => "unknown"
+      JavaNotFound => "unknown"
     | JavaTooOld => "unknown"
     | KodkodiNotInstalled => "unknown"
     | Normal ([], _, _) => "none"