src/Pure/Isar/isar.ML
changeset 29370 98aaf2cd873f
parent 29348 28b0652aabd8
child 29417 779ff1187327
     1.1 --- a/src/Pure/Isar/isar.ML	Tue Jan 06 14:45:45 2009 +0100
     1.2 +++ b/src/Pure/Isar/isar.ML	Tue Jan 06 21:17:37 2009 +0100
     1.3 @@ -133,11 +133,12 @@
     1.4      (case Source.get_single (Source.set_prompt Source.default_prompt src) of
     1.5        NONE => if secure then quit () else ()
     1.6      | SOME (tr, src') => if op >> tr orelse check_secure () then raw_loop secure src' else ())
     1.7 -    handle exn => (Output.error_msg (Toplevel.exn_message exn)
     1.8 -    handle crash =>
     1.9 -      (CRITICAL (fn () => change crashes (cons crash));
    1.10 -        warning "Recovering after Isar toplevel crash -- see also Isar.crashes");
    1.11 -      raw_loop secure src)
    1.12 +    handle exn =>
    1.13 +      (Output.error_msg (Toplevel.exn_message exn)
    1.14 +        handle crash =>
    1.15 +          (CRITICAL (fn () => change crashes (cons crash));
    1.16 +            warning "Recovering from Isar toplevel crash -- see also Isar.crashes");
    1.17 +          raw_loop secure src)
    1.18    end;
    1.19  
    1.20  in