src/Pure/Isar/attrib.ML
changeset 30466 5f31e24937c5
parent 30242 aea5d7fa7ef5
child 30513 1796b8ea88aa
     1.1 --- a/src/Pure/Isar/attrib.ML	Thu Mar 12 11:09:26 2009 +0100
     1.2 +++ b/src/Pure/Isar/attrib.ML	Thu Mar 12 11:10:02 2009 +0100
     1.3 @@ -146,7 +146,7 @@
     1.4    let
     1.5      val new_attrs =
     1.6        raw_attrs |> map (fn (name, att, comment) => (Binding.name name, ((att, comment), stamp ())));
     1.7 -    fun add attrs = fold (snd oo NameSpace.bind (Sign.naming_of thy)) new_attrs attrs
     1.8 +    fun add attrs = fold (snd oo NameSpace.define (Sign.naming_of thy)) new_attrs attrs
     1.9        handle Symtab.DUP dup => error ("Duplicate declaration of attributes " ^ quote dup);
    1.10    in Attributes.map add thy end;
    1.11