src/Pure/Isar/attrib.ML
changeset 47005 421760a1efe7
parent 46906 3c1787d46935
child 47249 c0481c3c2a6c
     1.1 --- a/src/Pure/Isar/attrib.ML	Sun Mar 18 12:51:44 2012 +0100
     1.2 +++ b/src/Pure/Isar/attrib.ML	Sun Mar 18 13:04:22 2012 +0100
     1.3 @@ -92,9 +92,7 @@
     1.4    end;
     1.5  
     1.6  fun add_attribute name att comment thy = thy
     1.7 -  |> Attributes.map
     1.8 -    (Name_Space.define (Proof_Context.init_global thy) true (Sign.naming_of thy)
     1.9 -      (name, (att, comment)) #> snd);
    1.10 +  |> Attributes.map (Name_Space.define (Context.Theory thy) true (name, (att, comment)) #> snd);
    1.11  
    1.12  
    1.13  (* name space *)