diff -r 851ae0e7b09c -r 37074e22e8be src/Pure/Concurrent/multithreading.ML
--- a/src/Pure/Concurrent/multithreading.ML	Tue Dec 13 11:51:42 2016 +0100
+++ b/src/Pure/Concurrent/multithreading.ML	Tue Dec 13 23:29:54 2016 +0100
@@ -48,7 +48,7 @@
 
 fun sync_wait time cond lock =
   Thread_Attributes.with_attributes
-    (Thread_Attributes.sync_interrupts (Thread.getAttributes ()))
+    (Thread_Attributes.sync_interrupts (Thread_Attributes.get_attributes ()))
     (fn _ =>
       (case time of
         SOME t => Exn.Res (ConditionVar.waitUntil (cond, lock, t))