src/Pure/Isar/method.ML

--- a/src/Pure/Isar/method.ML	Sun Mar 18 12:51:44 2012 +0100
+++ b/src/Pure/Isar/method.ML	Sun Mar 18 13:04:22 2012 +0100
@@ -326,9 +326,7 @@
   end;
 
 fun add_method name meth comment thy = thy
-  |> Methods.map
-    (Name_Space.define (Proof_Context.init_global thy) true (Sign.naming_of thy)
-      (name, (meth, comment)) #> snd);
+  |> Methods.map (Name_Space.define (Context.Theory thy) true (name, (meth, comment)) #> snd);
 
 
 (* get methods *)