# HG changeset patch
# User wenzelm
# Date 1254433745 -7200
# Node ID 044711ee3f217891626c53cfa4c489f053be053d
# Parent  c8f5a7c8353fb4dbf6002cbfc557f5bb09fb80df
tuned;

diff -r c8f5a7c8353f -r 044711ee3f21 src/Pure/Concurrent/lazy_sequential.ML
--- a/src/Pure/Concurrent/lazy_sequential.ML	Thu Oct 01 23:27:05 2009 +0200
+++ b/src/Pure/Concurrent/lazy_sequential.ML	Thu Oct 01 23:49:05 2009 +0200
@@ -19,7 +19,7 @@
 fun peek (Lazy r) =
   (case ! r of
     Expr _ => NONE
-  | Result x => SOME x);
+  | Result res => SOME res);
 
 fun lazy e = Lazy (Unsynchronized.ref (Expr e));
 fun value a = Lazy (Unsynchronized.ref (Result (Exn.Result a)));