src/Pure/Isar/method.ML
changeset 26415 1b624d6e9163
parent 26385 ae7564661e76
child 26435 bdce320cd426
     1.1 --- a/src/Pure/Isar/method.ML	Wed Mar 26 22:40:05 2008 +0100
     1.2 +++ b/src/Pure/Isar/method.ML	Wed Mar 26 22:40:07 2008 +0100
     1.3 @@ -357,7 +357,7 @@
     1.4    (ML_Context.use_mltext false pos
     1.5      ("let fun tactic (ctxt: Proof.context) (facts: thm list) : tactic =\n"
     1.6        ^ txt ^ "\nin Method.set_tactic tactic end") (SOME (Context.Proof ctxt));
     1.7 -    ML_Context.setmp (SOME (Context.Proof ctxt)) (! tactic_ref ctxt)));
     1.8 +    Context.setmp_thread_data (SOME (Context.Proof ctxt)) (! tactic_ref ctxt)));
     1.9  
    1.10  fun tactic txt ctxt = METHOD (ml_tactic txt ctxt);
    1.11  fun raw_tactic txt ctxt = RAW_METHOD (ml_tactic txt ctxt);