src/Pure/System/command_line.ML

--- a/src/Pure/System/command_line.ML	Sat Apr 09 13:28:32 2016 +0200
+++ b/src/Pure/System/command_line.ML	Sat Apr 09 14:00:23 2016 +0200
@@ -14,7 +14,7 @@
 struct
 
 fun tool body =
-  Multithreading.uninterruptible (fn restore_attributes => fn () =>
+  Thread_Attributes.uninterruptible (fn restore_attributes => fn () =>
     let
       val rc =
         restore_attributes body () handle exn =>