src/Pure/Isar/proof.ML
changeset 28443 de653f1ad78b
parent 28437 0790f66a931a
child 28446 a01de3b3fa2e
     1.1 --- a/src/Pure/Isar/proof.ML	Wed Oct 01 12:00:01 2008 +0200
     1.2 +++ b/src/Pure/Isar/proof.ML	Wed Oct 01 12:00:02 2008 +0200
     1.3 @@ -962,7 +962,7 @@
     1.4        (case test_proof goal_state of
     1.5          Exn.Result (SOME _) => goal_state
     1.6        | Exn.Result NONE => error (fail_msg (context_of goal_state))
     1.7 -      | Exn.Exn Interrupt => raise Interrupt
     1.8 +      | Exn.Exn Exn.Interrupt => raise Exn.Interrupt
     1.9        | Exn.Exn exn => raise Exn.EXCEPTIONS ([exn], fail_msg (context_of goal_state))))
    1.10    end;
    1.11