src/Pure/ML-Systems/multithreading_polyml.ML

 (* options *)
 
 val available = true;
 
 fun max_threads_result m =
-  if m > 0 then m
-  else Int.min (Int.max (Thread.numProcessors (), 1), 8);
+  if m > 0 then m else Int.min (Int.max (Thread.numProcessors (), 1), 8);
 
 val max_threads = ref 1;
 
 fun max_threads_value () = ! max_threads;