src/Pure/System/build.ML

         (space_explode "," (Options.string options "print_mode") @ print_mode_value ())
     |> Unsynchronized.setmp Goal.parallel_proofs (Options.int options "parallel_proofs")
     |> Unsynchronized.setmp Goal.parallel_proofs_threshold
         (Options.int options "parallel_proofs_threshold")
     |> Unsynchronized.setmp Multithreading.trace (Options.int options "threads_trace")
-    |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads_limit")
+    |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads")
     |> Options.bool options "no_document" ? Present.no_document;
 
 fun build args_file =
   let
     val (save, (options, (timing, (verbose, (browser_info, (parent,