src/Pure/Thy/document_antiquotations.ML

--- a/src/Pure/Thy/document_antiquotations.ML	Tue Dec 12 13:34:11 2017 +0100
+++ b/src/Pure/Thy/document_antiquotations.ML	Tue Dec 12 16:12:48 2017 +0100
@@ -45,7 +45,7 @@
 fun control_antiquotation name s1 s2 =
   Thy_Output.antiquotation name (Scan.lift Args.cartouche_input)
     (fn {state, ...} =>
-      enclose s1 s2 o Thy_Output.output_text state {markdown = false, mark_range = false});
+      enclose s1 s2 o Thy_Output.output_text state {markdown = false, positions = false});
 
 in