src/Pure/Isar/toplevel.ML
changeset 28443 de653f1ad78b
parent 28433 b3dab95f098f
child 28446 a01de3b3fa2e
     1.1 --- a/src/Pure/Isar/toplevel.ML	Wed Oct 01 12:00:01 2008 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Wed Oct 01 12:00:02 2008 +0200
     1.3 @@ -263,7 +263,7 @@
     1.4        | exn_msg ctxt (EXCURSION_FAIL (exn, loc)) =
     1.5            exn_msg ctxt exn ^ Markup.markup Markup.location ("\n" ^ loc)
     1.6        | exn_msg _ TERMINATE = "Exit."
     1.7 -      | exn_msg _ Interrupt = "Interrupt."
     1.8 +      | exn_msg _ Exn.Interrupt = "Interrupt."
     1.9        | exn_msg _ TimeLimit.TimeOut = "Timeout."
    1.10        | exn_msg _ TOPLEVEL_ERROR = "Error."
    1.11        | exn_msg _ (SYS_ERROR msg) = "## SYSTEM ERROR ##\n" ^ msg