src/Pure/context.ML
changeset 28122 3d099ce624e7
parent 27341 97e2ccba3b64
child 28317 83c4fc383409
--- a/src/Pure/context.ML	Thu Sep 04 16:03:43 2008 +0200
+++ b/src/Pure/context.ML	Thu Sep 04 16:03:44 2008 +0200
@@ -512,7 +512,7 @@
 local val tag = Universal.tag () : generic option Universal.tag in
 
 fun thread_data () =
-  (case Multithreading.get_data tag of
+  (case Thread.getLocal tag of
     SOME (SOME context) => SOME context
   | _ => NONE);
 
@@ -521,7 +521,7 @@
     SOME context => context
   | _ => error "Unknown context");
 
-fun set_thread_data context = Multithreading.put_data (tag, context);
+fun set_thread_data context = Thread.setLocal (tag, context);
 fun setmp_thread_data context = Library.setmp_thread_data tag (thread_data ()) context;
 
 end;