src/Pure/context.ML
changeset 28122 3d099ce624e7
parent 27341 97e2ccba3b64
child 28317 83c4fc383409
     1.1 --- a/src/Pure/context.ML	Thu Sep 04 16:03:43 2008 +0200
     1.2 +++ b/src/Pure/context.ML	Thu Sep 04 16:03:44 2008 +0200
     1.3 @@ -512,7 +512,7 @@
     1.4  local val tag = Universal.tag () : generic option Universal.tag in
     1.5  
     1.6  fun thread_data () =
     1.7 -  (case Multithreading.get_data tag of
     1.8 +  (case Thread.getLocal tag of
     1.9      SOME (SOME context) => SOME context
    1.10    | _ => NONE);
    1.11  
    1.12 @@ -521,7 +521,7 @@
    1.13      SOME context => context
    1.14    | _ => error "Unknown context");
    1.15  
    1.16 -fun set_thread_data context = Multithreading.put_data (tag, context);
    1.17 +fun set_thread_data context = Thread.setLocal (tag, context);
    1.18  fun setmp_thread_data context = Library.setmp_thread_data tag (thread_data ()) context;
    1.19  
    1.20  end;