src/Pure/Tools/rail.ML
changeset 67147 dea94b1aabc3
parent 62806 de9bf8171626
child 67381 146757999c8d
     1.1 --- a/src/Pure/Tools/rail.ML	Wed Dec 06 15:46:35 2017 +0100
     1.2 +++ b/src/Pure/Tools/rail.ML	Wed Dec 06 18:59:33 2017 +0100
     1.3 @@ -374,7 +374,7 @@
     1.4    in Latex.environment "railoutput" (implode (map output_rule rules)) end;
     1.5  
     1.6  val _ = Theory.setup
     1.7 -  (Thy_Output.antiquotation @{binding rail} (Scan.lift Args.text_input)
     1.8 +  (Thy_Output.antiquotation \<^binding>\<open>rail\<close> (Scan.lift Args.text_input)
     1.9      (fn {state, context, ...} => output_rules state o read context));
    1.10  
    1.11  end;