changeset 35699 | 9ed327529a44 |
parent 35665 | ff2bf50505ab |
child 36385 | ff5f88702590 |
--- a/src/HOL/Tools/Nitpick/minipick.ML Wed Mar 10 17:46:28 2010 +0100 +++ b/src/HOL/Tools/Nitpick/minipick.ML Wed Mar 10 19:21:59 2010 +0100 @@ -336,7 +336,8 @@ val max_solutions = 1 in case solve_any_problem overlord NONE max_threads max_solutions problems of - NotInstalled => "unknown" + JavaNotInstalled => "unknown" + | KodkodiNotInstalled => "unknown" | Normal ([], _, _) => "none" | Normal _ => "genuine" | TimedOut _ => "unknown"