src/Pure/Isar/method.ML

--- a/src/Pure/Isar/method.ML	Wed Apr 06 14:08:57 2016 +0200
+++ b/src/Pure/Isar/method.ML	Wed Apr 06 16:33:33 2016 +0200
@@ -355,8 +355,7 @@
              ML_Lex.read_source false source);
         val tac = the_tactic context';
       in
-        fn phi =>
-          set_tactic (fn _ => Context.setmp_thread_data (SOME context) (tac phi))
+        fn phi => set_tactic (fn _ => Context.setmp_generic_context (SOME context) (tac phi))
       end)) >> (fn decl => Morphism.form (the_tactic (Morphism.form decl context))));