src/Doc/antiquote_setup.ML
changeset 57918 f5d73caba4e5
parent 57477 c3b5cb53ea79
child 58069 0255436b3d85
     1.1 --- a/src/Doc/antiquote_setup.ML	Tue Aug 12 18:54:53 2014 +0200
     1.2 +++ b/src/Doc/antiquote_setup.ML	Tue Aug 12 20:18:27 2014 +0200
     1.3 @@ -208,7 +208,7 @@
     1.4    is_some (Keyword.command_keyword name) andalso
     1.5      let
     1.6        val markup =
     1.7 -        Outer_Syntax.scan Position.none name
     1.8 +        Outer_Syntax.scan (Keyword.get_lexicons ()) Position.none name
     1.9          |> maps (Outer_Syntax.command_reports (#2 (Outer_Syntax.get_syntax ())))
    1.10          |> map (snd o fst);
    1.11        val _ = Context_Position.reports ctxt (map (pair pos) markup);