src/Pure/Isar/attrib.ML

--- a/src/Pure/Isar/attrib.ML	Sun Mar 18 12:51:44 2012 +0100
+++ b/src/Pure/Isar/attrib.ML	Sun Mar 18 13:04:22 2012 +0100
@@ -92,9 +92,7 @@
   end;
 
 fun add_attribute name att comment thy = thy
-  |> Attributes.map
-    (Name_Space.define (Proof_Context.init_global thy) true (Sign.naming_of thy)
-      (name, (att, comment)) #> snd);
+  |> Attributes.map (Name_Space.define (Context.Theory thy) true (name, (att, comment)) #> snd);
 
 
 (* name space *)