diff -r 728aa05e9433 -r 7a11ea5c9626 src/Pure/Concurrent/synchronized.ML
--- a/src/Pure/Concurrent/synchronized.ML	Wed Apr 06 16:51:52 2016 +0200
+++ b/src/Pure/Concurrent/synchronized.ML	Wed Apr 06 17:16:30 2016 +0200
@@ -51,7 +51,7 @@
               | Exn.Res false => NONE
               | Exn.Exn exn => Exn.reraise exn)
           | SOME (y, x') =>
-              uninterruptible (fn _ => fn () =>
+              Multithreading.uninterruptible (fn _ => fn () =>
                 (var := x'; ConditionVar.broadcast cond; SOME y)) ())
         end;
     in try_change () end);