src/Pure/goal.ML
changeset 49830 28d207ba9340
parent 49829 2bc5924b117f
child 49845 9b19c0e81166
     1.1 --- a/src/Pure/goal.ML	Fri Oct 12 13:46:41 2012 +0200
     1.2 +++ b/src/Pure/goal.ML	Fri Oct 12 13:55:13 2012 +0200
     1.3 @@ -160,7 +160,7 @@
     1.4                  (case result of
     1.5                    Exn.Res _ => ()
     1.6                  | Exn.Exn exn =>
     1.7 -                    if Exn.is_interrupt exn then ()
     1.8 +                    if id = 0 orelse Exn.is_interrupt exn then ()
     1.9                      else
    1.10                        (status task [Isabelle_Markup.failed];
    1.11                         Output.report (Markup.markup_only Isabelle_Markup.bad);