Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
adjust example
authorblanchet
Thu, 30 Aug 2012 11:31:20 +0200
changeset 49026 72dcf53c1ee4
parent 49025 7e89b0520e83
child 49027 fc3b9b49c92d
adjust example
src/HOL/Nitpick_Examples/minipick.ML file | annotate | diff | comparison | revisions 
--- 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"
isabelle