--- a/src/Pure/Thy/document_antiquotations.ML Fri Aug 12 16:54:46 2016 +0200
+++ b/src/Pure/Thy/document_antiquotations.ML Fri Aug 12 17:49:02 2016 +0200
@@ -204,7 +204,7 @@
(* doc entries *)
val _ = Theory.setup
- (Thy_Output.antiquotation @{binding doc} (Scan.lift (Parse.position Parse.name))
+ (Thy_Output.antiquotation @{binding doc} (Scan.lift (Parse.position Parse.embedded))
(fn {context = ctxt, ...} => fn (name, pos) =>
(Context_Position.report ctxt pos (Markup.doc name);
Thy_Output.output ctxt [Thy_Output.pretty_text ctxt name])));