src/Pure/Isar/toplevel.ML
changeset 13486 54464ea94d6f
parent 12987 b6db96775e52
child 14091 ad6ba9c55190
     1.1 --- a/src/Pure/Isar/toplevel.ML	Thu Aug 08 23:50:23 2002 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Thu Aug 08 23:51:24 2002 +0200
     1.3 @@ -383,6 +383,8 @@
     1.4    | exn_message (ProofContext.CONTEXT (msg, _)) = msg
     1.5    | exn_message (Proof.STATE (msg, _)) = msg
     1.6    | exn_message (ProofHistory.FAIL msg) = msg
     1.7 +  | exn_message (MetaSimplifier.SIMPROC_FAIL (name, exn)) =
     1.8 +      fail_message "simproc" ((name, Position.none), exn)
     1.9    | exn_message (Attrib.ATTRIB_FAIL info) = fail_message "attribute" info
    1.10    | exn_message (Method.METHOD_FAIL info) = fail_message "method" info
    1.11    | exn_message (Antiquote.ANTIQUOTE_FAIL info) = fail_message "antiquotation" info