--- a/src/Pure/Isar/isar_output.ML Tue Feb 12 20:33:37 2002 +0100
+++ b/src/Pure/Isar/isar_output.ML Tue Feb 12 20:34:02 2002 +0100
@@ -63,7 +63,7 @@
let val ((name, _), pos) = Args.dest_src src in
(case Symtab.lookup (! global_commands, name) of
None => error ("Unknown antiquotation command: " ^ quote name ^ Position.str_of pos)
- | Some f => transform_failure (curry Comment.OUTPUT_FAIL (name, pos)) (f src))
+ | Some f => transform_failure (curry Antiquote.ANTIQUOTE_FAIL (name, pos)) (f src))
end;
fun option (name, s) f () =