src/Pure/Tools/rail.ML
changeset 58903 38c72f5f6c2e
parent 58465 bd06c6479748
child 58928 23d0ffd48006
     1.1 --- a/src/Pure/Tools/rail.ML	Wed Nov 05 20:05:32 2014 +0100
     1.2 +++ b/src/Pure/Tools/rail.ML	Wed Nov 05 20:20:57 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 (#1 (Keyword.get_lexicons ())) state;
     1.8 +    val output_antiq = Thy_Output.eval_antiq (Keyword.get_keywords ()) state;
     1.9      fun output_text b s =
    1.10        Output.output s
    1.11        |> b ? enclose "\\isakeyword{" "}"