src/Doc/antiquote_setup.ML
changeset 50239 fb579401dc26
parent 50201 c26369c9eda6
child 52408 fa2dc6c6c94f
     1.1 --- a/src/Doc/antiquote_setup.ML	Mon Nov 26 21:10:42 2012 +0100
     1.2 +++ b/src/Doc/antiquote_setup.ML	Mon Nov 26 21:46:04 2012 +0100
     1.3 @@ -80,7 +80,7 @@
     1.4          if txt2 = "" then txt1
     1.5          else if kind = "type" then txt1 ^ " = " ^ txt2
     1.6          else if kind = "exception" then txt1 ^ " of " ^ txt2
     1.7 -        else if Lexicon.is_identifier (Long_Name.base_name (ml_name txt1))
     1.8 +        else if Symbol_Pos.is_identifier (Long_Name.base_name (ml_name txt1))
     1.9          then txt1 ^ ": " ^ txt2
    1.10          else txt1 ^ " : " ^ txt2;
    1.11        val txt' = if kind = "" then txt else kind ^ " " ^ txt;