src/Pure/Tools/rail.ML
changeset 58928 23d0ffd48006
parent 58903 38c72f5f6c2e
child 58978 e42da880c61e
     1.1 --- a/src/Pure/Tools/rail.ML	Fri Nov 07 16:22:25 2014 +0100
     1.2 +++ b/src/Pure/Tools/rail.ML	Fri Nov 07 16:36:55 2014 +0100
     1.3 @@ -316,7 +316,7 @@
     1.4  
     1.5  fun output_rules state rules =
     1.6    let
     1.7 -    val output_antiq = Thy_Output.eval_antiq (Keyword.get_keywords ()) state;
     1.8 +    val output_antiq = Thy_Output.eval_antiq state;
     1.9      fun output_text b s =
    1.10        Output.output s
    1.11        |> b ? enclose "\\isakeyword{" "}"