--- a/src/Doc/antiquote_setup.ML Mon Nov 26 21:10:42 2012 +0100
+++ b/src/Doc/antiquote_setup.ML Mon Nov 26 21:46:04 2012 +0100
@@ -80,7 +80,7 @@
if txt2 = "" then txt1
else if kind = "type" then txt1 ^ " = " ^ txt2
else if kind = "exception" then txt1 ^ " of " ^ txt2
- else if Lexicon.is_identifier (Long_Name.base_name (ml_name txt1))
+ else if Symbol_Pos.is_identifier (Long_Name.base_name (ml_name txt1))
then txt1 ^ ": " ^ txt2
else txt1 ^ " : " ^ txt2;
val txt' = if kind = "" then txt else kind ^ " " ^ txt;