src/Doc/antiquote_setup.ML

--- a/src/Doc/antiquote_setup.ML	Wed Nov 05 20:05:32 2014 +0100
+++ b/src/Doc/antiquote_setup.ML	Wed Nov 05 20:20:57 2014 +0100
@@ -195,7 +195,7 @@
   is_some (Keyword.command_keyword name) andalso
     let
       val markup =
-        Outer_Syntax.scan (Keyword.get_lexicons ()) Position.none name
+        Outer_Syntax.scan (Keyword.get_keywords ()) Position.none name
         |> maps (Outer_Syntax.command_reports (#2 (Outer_Syntax.get_syntax ())))
         |> map (snd o fst);
       val _ = Context_Position.reports ctxt (map (pair pos) markup);