src/Pure/Concurrent/synchronized.ML
changeset 32738 15bb09ca0378
parent 32592 e29c0b7dcf66
child 33060 e66b41782cb5
     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