--- a/src/Pure/Tools/jedit.ML Tue Jan 09 15:18:41 2018 +0100
+++ b/src/Pure/Tools/jedit.ML Tue Jan 09 15:40:12 2018 +0100
@@ -75,7 +75,7 @@
val _ =
Theory.setup
- (Thy_Output.antiquotation \<^binding>\<open>action\<close> (Scan.lift (Parse.position Parse.embedded))
+ (Document_Antiquotation.setup \<^binding>\<open>action\<close> (Scan.lift (Parse.position Parse.embedded))
(fn {context = ctxt, ...} => fn (name, pos) =>
(if Context_Position.is_reported ctxt pos then ignore (check_action (name, pos)) else ();
Thy_Output.verbatim_text ctxt name)));