| changeset 43548 | f231a7594e54 |
| parent 43326 | 47cf4bc789aa |
| child 43552 | 156c822f181a |
--- a/src/Pure/type.ML Sat Jun 25 17:17:49 2011 +0200 +++ b/src/Pure/type.ML Sat Jun 25 18:15:36 2011 +0200 @@ -181,7 +181,7 @@ build_tsig (f (classes, default, types)); val empty_tsig = - build_tsig ((Name_Space.empty "class", Sorts.empty_algebra), [], Name_Space.empty_table "type"); + build_tsig ((Name_Space.empty Markup.classN, Sorts.empty_algebra), [], Name_Space.empty_table "type"); (* classes and sorts *)