--- a/src/Pure/ML/ml_context.ML Sun Aug 08 19:36:31 2010 +0200
+++ b/src/Pure/ML/ml_context.ML Sun Aug 08 19:54:54 2010 +0200
@@ -105,7 +105,7 @@
let val ((name, _), pos) = Args.dest_src src in
(case Symtab.lookup (! global_parsers) name of
NONE => error ("Unknown ML antiquotation command: " ^ quote name ^ Position.str_of pos)
- | SOME scan => (Position.report (Markup.ML_antiq name) pos;
+ | SOME scan => (Context_Position.report ctxt (Markup.ML_antiq name) pos;
Args.context_syntax "ML antiquotation" (scan pos) src ctxt))
end;