src/HOL/Nitpick_Examples/minipick.ML
changeset 50487 9486641e691b
parent 49026 72dcf53c1ee4
child 54845 10df188349b3
     1.1 --- a/src/HOL/Nitpick_Examples/minipick.ML	Wed Dec 12 03:47:02 2012 +0100
     1.2 +++ b/src/HOL/Nitpick_Examples/minipick.ML	Wed Dec 12 11:18:06 2012 +0100
     1.3 @@ -438,6 +438,7 @@
     1.4        JavaNotFound => "unknown"
     1.5      | JavaTooOld => "unknown"
     1.6      | KodkodiNotInstalled => "unknown"
     1.7 +    | KodkodiTooOld => "unknown"
     1.8      | Normal ([], _, _) => "none"
     1.9      | Normal _ => "genuine"
    1.10      | TimedOut _ => "unknown"