diff -r 96691631c1eb -r 3a122e1e352a src/Pure/Concurrent/single_assignment.ML
--- a/src/Pure/Concurrent/single_assignment.ML	Sat Apr 09 13:28:32 2016 +0200
+++ b/src/Pure/Concurrent/single_assignment.ML	Sat Apr 09 14:00:23 2016 +0200
@@ -48,7 +48,7 @@
     (case peek v of
       SOME _ => raise Fail ("Duplicate assignment to " ^ name)
     | NONE =>
-        Multithreading.uninterruptible (fn _ => fn () =>
+        Thread_Attributes.uninterruptible (fn _ => fn () =>
          (SingleAssignment.saset (var, x); ConditionVar.broadcast cond)) ()));
 
 end;