src/Pure/Tools/build.ML

--- a/src/Pure/Tools/build.ML	Sat Apr 09 14:11:31 2016 +0200
+++ b/src/Pure/Tools/build.ML	Sat Apr 09 14:17:50 2016 +0200
@@ -51,7 +51,7 @@
     val y = f x;
     val timing = Timing.result start;
 
-    val threads = string_of_int (Multithreading.max_threads_value ());
+    val threads = string_of_int (Multithreading.max_threads ());
     val factor = Time.toReal (#cpu timing) / Time.toReal (#elapsed timing)
       |> Real.fmt (StringCvt.FIX (SOME 2));