src/Pure/Concurrent/single_assignment.ML

--- a/src/Pure/Concurrent/single_assignment.ML	Thu Mar 03 14:03:06 2016 +0100
+++ b/src/Pure/Concurrent/single_assignment.ML	Thu Mar 03 15:23:02 2016 +0100
@@ -39,7 +39,7 @@
           NONE =>
             (case Multithreading.sync_wait NONE NONE cond lock of
               Exn.Res _ => wait ()
-            | Exn.Exn exn => reraise exn)
+            | Exn.Exn exn => Exn.reraise exn)
         | SOME x => x);
     in wait () end);