1.1 --- a/src/Pure/Concurrent/synchronized.ML Tue Sep 29 11:48:32 2009 +0200
1.2 +++ b/src/Pure/Concurrent/synchronized.ML Tue Sep 29 11:49:22 2009 +0200
1.3 @@ -24,13 +24,13 @@
1.4 {name: string,
1.5 lock: Mutex.mutex,
1.6 cond: ConditionVar.conditionVar,
1.7 - var: 'a ref};
1.8 + var: 'a Unsynchronized.ref};
1.9
1.10 fun var name x = Var
1.11 {name = name,
1.12 lock = Mutex.mutex (),
1.13 cond = ConditionVar.conditionVar (),
1.14 - var = ref x};
1.15 + var = Unsynchronized.ref x};
1.16
1.17 fun value (Var {var, ...}) = ! var;
1.18