Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Concurrent/synchronized.ML
changeset 62505 9e2a65912111
parent 59195 f8588372d70e
child 62663 bea354f6ff21 
--- a/src/Pure/Concurrent/synchronized.ML	Thu Mar 03 14:03:06 2016 +0100
+++ b/src/Pure/Concurrent/synchronized.ML	Thu Mar 03 15:23:02 2016 +0100
@@ -49,7 +49,7 @@
               (case Multithreading.sync_wait NONE (time_limit x) cond lock of
                 Exn.Res true => try_change ()
               | Exn.Res false => NONE
-              | Exn.Exn exn => reraise exn)
+              | Exn.Exn exn => Exn.reraise exn)
           | SOME (y, x') =>
               uninterruptible (fn _ => fn () =>
                 (var := x'; ConditionVar.broadcast cond; SOME y)) ())
isabelle