src/Pure/Concurrent/unsynchronized.ML

--- a/src/Pure/Concurrent/unsynchronized.ML	Wed Apr 06 16:51:52 2016 +0200
+++ b/src/Pure/Concurrent/unsynchronized.ML	Wed Apr 06 17:16:30 2016 +0200
@@ -19,7 +19,7 @@
 fun dec i = (i := ! i - (1: int); ! i);
 
 fun setmp flag value f x =
-  uninterruptible (fn restore_attributes => fn () =>
+  Multithreading.uninterruptible (fn restore_attributes => fn () =>
     let
       val orig_value = ! flag;
       val _ = flag := value;