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 64276 622f4e4ac388
parent 62923 3a122e1e352a
child 68597 afa7c5a239e6 
--- a/src/Pure/Concurrent/synchronized.ML	Mon Oct 17 15:46:51 2016 +0200
+++ b/src/Pure/Concurrent/synchronized.ML	Mon Oct 17 16:58:39 2016 +0200
@@ -46,7 +46,7 @@
         let val x = ! var in
           (case f x of
             NONE =>
-              (case Multithreading.sync_wait NONE (time_limit x) cond lock of
+              (case Multithreading.sync_wait (time_limit x) cond lock of
                 Exn.Res true => try_change ()
               | Exn.Res false => NONE
               | Exn.Exn exn => Exn.reraise exn)
isabelle