src/Pure/Tools/rail.ML

--- a/src/Pure/Tools/rail.ML	Mon Dec 06 15:10:15 2021 +0100
+++ b/src/Pure/Tools/rail.ML	Mon Dec 06 15:34:54 2021 +0100
@@ -387,7 +387,7 @@
   in Latex.environment "railoutput" (maps output_rule rules) end;
 
 val _ = Theory.setup
-  (Document_Output.antiquotation_raw_embedded \<^binding>\<open>rail\<close> (Scan.lift Args.text_input)
+  (Document_Output.antiquotation_raw_embedded \<^binding>\<open>rail\<close> (Scan.lift Parse.embedded_input)
     (fn ctxt => output_rules ctxt o read ctxt));
 
 end;