diff -r 76fa673eee8b -r 15bb09ca0378 src/Pure/Concurrent/synchronized.ML
--- a/src/Pure/Concurrent/synchronized.ML	Tue Sep 29 11:48:32 2009 +0200
+++ b/src/Pure/Concurrent/synchronized.ML	Tue Sep 29 11:49:22 2009 +0200
@@ -24,13 +24,13 @@
  {name: string,
   lock: Mutex.mutex,
   cond: ConditionVar.conditionVar,
-  var: 'a ref};
+  var: 'a Unsynchronized.ref};
 
 fun var name x = Var
  {name = name,
   lock = Mutex.mutex (),
   cond = ConditionVar.conditionVar (),
-  var = ref x};
+  var = Unsynchronized.ref x};
 
 fun value (Var {var, ...}) = ! var;