src/Pure/System/isabelle_tool.ML

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