--- a/src/Pure/Isar/antiquote.ML Tue Feb 12 20:33:37 2002 +0100
+++ b/src/Pure/Isar/antiquote.ML Tue Feb 12 20:34:02 2002 +0100
@@ -8,6 +8,7 @@
signature ANTIQUOTE =
sig
+ exception ANTIQUOTE_FAIL of (string * Position.T) * exn
datatype antiquote = Text of string | Antiq of string * Position.T
val is_antiq: antiquote -> bool
val antiquotes_of: string * Position.T -> antiquote list
@@ -18,6 +19,8 @@
(* datatype antiquote *)
+exception ANTIQUOTE_FAIL of (string * Position.T) * exn;
+
datatype antiquote =
Text of string |
Antiq of string * Position.T;