src/Pure/Concurrent/lazy.ML

--- a/src/Pure/Concurrent/lazy.ML	Thu Dec 18 15:21:54 2014 +0100
+++ b/src/Pure/Concurrent/lazy.ML	Thu Dec 18 16:13:54 2014 +0100
@@ -32,7 +32,7 @@
 with
 
 fun peek (Lazy var) =
-  (case Synchronized.value var of
+  (case Synchronized.peek var of
     Expr _ => NONE
   | Result res => Future.peek res);