src/Pure/Concurrent/synchronized.ML

--- a/src/Pure/Concurrent/synchronized.ML	Sat Apr 09 13:28:32 2016 +0200
+++ b/src/Pure/Concurrent/synchronized.ML	Sat Apr 09 14:00:23 2016 +0200
@@ -51,7 +51,7 @@
               | Exn.Res false => NONE
               | Exn.Exn exn => Exn.reraise exn)
           | SOME (y, x') =>
-              Multithreading.uninterruptible (fn _ => fn () =>
+              Thread_Attributes.uninterruptible (fn _ => fn () =>
                 (var := x'; ConditionVar.broadcast cond; SOME y)) ())
         end;
     in try_change () end);