changeset 35333 | f61de25f71f9 |
parent 35284 | 9edc2bd6d2bd |
child 35625 | 9c818cab0dd0 |
--- a/src/HOL/Tools/Nitpick/minipick.ML Tue Feb 23 14:50:44 2010 +0100 +++ b/src/HOL/Tools/Nitpick/minipick.ML Tue Feb 23 15:56:13 2010 +0100 @@ -321,7 +321,7 @@ in case solve_any_problem overlord NONE max_threads max_solutions problems of NotInstalled => "unknown" - | Normal ([], _) => "none" + | Normal ([], _, _) => "none" | Normal _ => "genuine" | TimedOut _ => "unknown" | Interrupted _ => "unknown"