src/Pure/Tools/doc.ML

--- a/src/Pure/Tools/doc.ML	Fri May 21 11:19:53 2021 +0200
+++ b/src/Pure/Tools/doc.ML	Fri May 21 12:29:29 2021 +0200
@@ -18,7 +18,7 @@
 
 val _ =
   Theory.setup
-   (Thy_Output.antiquotation_verbatim_embedded \<^binding>\<open>doc\<close>
+   (Document_Output.antiquotation_verbatim_embedded \<^binding>\<open>doc\<close>
       (Scan.lift Parse.embedded_position) check);
 
 end;