changeset 44706 | fe319b45315c |
parent 43947 | 9b00f09f7721 |
child 44736 | c2a3f1c84179 |
--- a/src/Pure/Syntax/lexicon.ML Sun Sep 04 19:12:06 2011 +0200 +++ b/src/Pure/Syntax/lexicon.ML Sun Sep 04 19:36:19 2011 +0200 @@ -190,8 +190,8 @@ val token_kind_markup = fn Literal => Markup.literal - | IdentSy => Markup.ident - | LongIdentSy => Markup.ident + | IdentSy => Markup.empty + | LongIdentSy => Markup.empty | VarSy => Markup.var | TFreeSy => Markup.tfree | TVarSy => Markup.tvar