src/Pure/Concurrent/single_assignment.ML

--- a/src/Pure/Concurrent/single_assignment.ML	Thu Jul 22 14:01:43 2010 +0200
+++ b/src/Pure/Concurrent/single_assignment.ML	Thu Jul 22 14:59:27 2010 +0200
@@ -31,7 +31,7 @@
 
 fun peek (Var {var, ...}) = SingleAssignment.savalue var;
 
-fun await (v as Var {name, lock, cond, var}) =
+fun await (v as Var {name, lock, cond, ...}) =
   Simple_Thread.synchronized name lock (fn () =>
     let
       fun wait () =