diff -r ef8375a4dae4 -r e72ba84ae58f src/Pure/Concurrent/single_assignment.ML
--- a/src/Pure/Concurrent/single_assignment.ML	Mon Jul 11 22:50:29 2011 +0200
+++ b/src/Pure/Concurrent/single_assignment.ML	Mon Jul 11 22:55:47 2011 +0200
@@ -38,7 +38,7 @@
         (case peek v of
           NONE =>
             (case Multithreading.sync_wait NONE NONE cond lock of
-              Exn.Result _ => wait ()
+              Exn.Res _ => wait ()
             | Exn.Exn exn => reraise exn)
         | SOME x => x);
     in wait () end);