changeset 43552 | 156c822f181a |
parent 42469 | daa93275880e |
child 43794 | 49cbbe2768a8 |
--- a/src/Pure/consts.ML Sat Jun 25 19:19:13 2011 +0200 +++ b/src/Pure/consts.ML Sat Jun 25 19:38:35 2011 +0200 @@ -311,7 +311,7 @@ (* empty and merge *) -val empty = make_consts (Name_Space.empty_table "constant", Symtab.empty, Symtab.empty); +val empty = make_consts (Name_Space.empty_table Markup.constantN, Symtab.empty, Symtab.empty); fun merge (Consts {decls = decls1, constraints = constraints1, rev_abbrevs = rev_abbrevs1},