Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Nitpick_Examples/minipick.ML
changeset 72329 6255e532aa36
parent 72328 7cb0c5fbe2d9
child 73387 3b5196dac4c8 
--- a/src/HOL/Nitpick_Examples/minipick.ML	Tue Sep 29 11:35:21 2020 +0200
+++ b/src/HOL/Nitpick_Examples/minipick.ML	Tue Sep 29 11:59:59 2020 +0200
@@ -436,8 +436,7 @@
   in
     case solve_any_problem debug overlord deadline max_threads max_solutions
                            problems of
-      JavaNotFound => "unknown"
-    | Normal ([], _, _) => "none"
+      Normal ([], _, _) => "none"
     | Normal _ => "genuine"
     | TimedOut _ => "unknown"
     | Error (s, _) => error ("Kodkod error: " ^ s)
isabelle