diff -r 2780de5a1422 -r 1b624d6e9163 src/Pure/Isar/method.ML
--- a/src/Pure/Isar/method.ML	Wed Mar 26 22:40:05 2008 +0100
+++ b/src/Pure/Isar/method.ML	Wed Mar 26 22:40:07 2008 +0100
@@ -357,7 +357,7 @@
   (ML_Context.use_mltext false pos
     ("let fun tactic (ctxt: Proof.context) (facts: thm list) : tactic =\n"
       ^ txt ^ "\nin Method.set_tactic tactic end") (SOME (Context.Proof ctxt));
-    ML_Context.setmp (SOME (Context.Proof ctxt)) (! tactic_ref ctxt)));
+    Context.setmp_thread_data (SOME (Context.Proof ctxt)) (! tactic_ref ctxt)));
 
 fun tactic txt ctxt = METHOD (ml_tactic txt ctxt);
 fun raw_tactic txt ctxt = RAW_METHOD (ml_tactic txt ctxt);