src/Pure/Isar/proof_display.ML
changeset 26415 1b624d6e9163
parent 26361 7946f459c6c8
child 26696 1cd71fb32831
     1.1 --- a/src/Pure/Isar/proof_display.ML	Wed Mar 26 22:40:05 2008 +0100
     1.2 +++ b/src/Pure/Isar/proof_display.ML	Wed Mar 26 22:40:07 2008 +0100
     1.3 @@ -123,7 +123,7 @@
     1.4  fun present_results ctxt ((kind, name), res) =
     1.5    if kind = "" orelse kind = Thm.internalK then ()
     1.6    else (print_results true ctxt ((kind, name), res);
     1.7 -    ML_Context.setmp (SOME (Context.Proof ctxt))
     1.8 +    Context.setmp_thread_data (SOME (Context.Proof ctxt))
     1.9        (Present.results kind) (name_results name res));
    1.10  
    1.11  end;