changeset 50201 | c26369c9eda6 |
parent 48992 | 0518bf89c777 |
child 50768 | 2172f82de515 |
--- a/src/Pure/consts.ML Sun Nov 25 18:50:13 2012 +0100 +++ b/src/Pure/consts.ML Sun Nov 25 19:49:24 2012 +0100 @@ -311,7 +311,7 @@ (* empty and merge *) val empty = - make_consts (Name_Space.empty_table Isabelle_Markup.constantN, Symtab.empty, Symtab.empty); + make_consts (Name_Space.empty_table Markup.constantN, Symtab.empty, Symtab.empty); fun merge (Consts {decls = decls1, constraints = constraints1, rev_abbrevs = rev_abbrevs1},