# HG changeset patch
# User wenzelm
# Date 1471016942 -7200
# Node ID dc311d55ad8f72ff93bf6a14383585882f9dac5d
# Parent  abd734b70b014d56448a49d4ef4dffc5542d51c7
clarified syntax;

diff -r abd734b70b01 -r dc311d55ad8f src/Pure/Thy/document_antiquotations.ML
--- 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])));