--- a/src/Pure/Isar/attrib.ML Thu Mar 12 11:09:26 2009 +0100
+++ b/src/Pure/Isar/attrib.ML Thu Mar 12 11:10:02 2009 +0100
@@ -146,7 +146,7 @@
let
val new_attrs =
raw_attrs |> map (fn (name, att, comment) => (Binding.name name, ((att, comment), stamp ())));
- fun add attrs = fold (snd oo NameSpace.bind (Sign.naming_of thy)) new_attrs attrs
+ fun add attrs = fold (snd oo NameSpace.define (Sign.naming_of thy)) new_attrs attrs
handle Symtab.DUP dup => error ("Duplicate declaration of attributes " ^ quote dup);
in Attributes.map add thy end;