src/Pure/library.ML
changeset 28122 3d099ce624e7
parent 28025 d9fcab768496
child 28157 0435d23deccc
     1.1 --- a/src/Pure/library.ML	Thu Sep 04 16:03:43 2008 +0200
     1.2 +++ b/src/Pure/library.ML	Thu Sep 04 16:03:44 2008 +0200
     1.3 @@ -346,9 +346,9 @@
     1.4  fun setmp_thread_data tag orig_data data f x =
     1.5    uninterruptible (fn restore_attributes => fn () =>
     1.6      let
     1.7 -      val _ = Multithreading.put_data (tag, data);
     1.8 +      val _ = Thread.setLocal (tag, data);
     1.9        val result = Exn.capture (restore_attributes f) x;
    1.10 -      val _ = Multithreading.put_data (tag, orig_data);
    1.11 +      val _ = Thread.setLocal (tag, orig_data);
    1.12      in Exn.release result end) ();
    1.13  
    1.14