src/Pure/Concurrent/unsynchronized.ML

 
 fun inc i = (i := ! i + (1: int); ! i);
 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;
       val result = Exn.capture (restore_attributes f) x;
       val _ = flag := orig_value;