src/Pure/Tools/rail.ML
changeset 61456 b521b8b400f7
parent 59937 6eccb133d4e6
child 61457 3e21699bb83b
     1.1 --- a/src/Pure/Tools/rail.ML	Thu Oct 15 21:17:41 2015 +0200
     1.2 +++ b/src/Pure/Tools/rail.ML	Thu Oct 15 22:25:57 2015 +0200
     1.3 @@ -315,7 +315,7 @@
     1.4  
     1.5  fun output_rules state rules =
     1.6    let
     1.7 -    val output_antiq = Thy_Output.eval_antiq state;
     1.8 +    val output_antiq = Thy_Output.eval_antiquote state o Antiquote.Antiq;
     1.9      fun output_text b s =
    1.10        Output.output s
    1.11        |> b ? enclose "\\isakeyword{" "}"