--- a/src/Pure/Isar/attrib.ML Thu May 24 07:27:44 2007 +0200
+++ b/src/Pure/Isar/attrib.ML Thu May 24 08:37:37 2007 +0200
@@ -127,7 +127,7 @@
let
val new_attrs =
raw_attrs |> map (fn (name, att, comment) => (name, ((att, comment), stamp ())));
- fun add attrs = NameSpace.extend_table (Sign.naming_of thy) (attrs, new_attrs)
+ fun add attrs = NameSpace.extend_table (Sign.naming_of thy) new_attrs attrs
handle Symtab.DUPS dups =>
error ("Duplicate declaration of attributes(s) " ^ commas_quote dups);
in AttributesData.map add thy end;