--- a/src/Pure/Tools/rail.ML Fri May 21 11:19:53 2021 +0200
+++ b/src/Pure/Tools/rail.ML Fri May 21 12:29:29 2021 +0200
@@ -384,7 +384,7 @@
in Latex.string (Latex.environment "railoutput" (implode (map output_rule rules))) end;
val _ = Theory.setup
- (Thy_Output.antiquotation_raw_embedded \<^binding>\<open>rail\<close> (Scan.lift Args.text_input)
+ (Document_Output.antiquotation_raw_embedded \<^binding>\<open>rail\<close> (Scan.lift Args.text_input)
(fn ctxt => output_rules ctxt o read ctxt));
end;