--- a/src/Pure/Concurrent/thread_data_virtual.ML Sat Apr 09 13:28:32 2016 +0200
+++ b/src/Pure/Concurrent/thread_data_virtual.ML Sat Apr 09 14:00:23 2016 +0200
@@ -7,8 +7,6 @@
structure Thread_Data_Virtual: THREAD_DATA =
struct
-(* context data *)
-
structure Data = Generic_Data
(
type T = Universal.universal Inttab.table;
@@ -33,7 +31,7 @@
| SOME x => Inttab.update (i, Universal.tagInject tag x));
fun setmp v data f x =
- Multithreading.uninterruptible (fn restore_attributes => fn () =>
+ Thread_Attributes.uninterruptible (fn restore_attributes => fn () =>
let
val orig_data = get v;
val _ = put v data;