compile;
authorwenzelm
Wed Jan 12 15:22:24 2011 +0100 (2011-01-12)
changeset 415236c7f5d5b7e9a
parent 41522 42d13d00ccfb
child 41524 4d2f9a1c24c7
compile;
src/HOL/Nitpick_Examples/Mono_Nits.thy
     1.1 --- a/src/HOL/Nitpick_Examples/Mono_Nits.thy	Wed Jan 12 15:15:51 2011 +0100
     1.2 +++ b/src/HOL/Nitpick_Examples/Mono_Nits.thy	Wed Jan 12 15:22:24 2011 +0100
     1.3 @@ -178,7 +178,7 @@
     1.4    end
     1.5    handle TimeLimit.TimeOut => "TIMEOUT"
     1.6         | NOT_SUPPORTED _ => "UNSUP"
     1.7 -       | exn => if Exn.is_interrupt then reraise exn else "UNKNOWN"
     1.8 +       | exn => if Exn.is_interrupt exn then reraise exn else "UNKNOWN"
     1.9  
    1.10  fun check_theory thy =
    1.11    let