--- a/src/Pure/Admin/build_history.scala Fri Mar 27 13:04:15 2020 +0100
+++ b/src/Pure/Admin/build_history.scala Fri Mar 27 22:01:27 2020 +0100
@@ -454,7 +454,7 @@
"B" -> (_ => multicore_base = true),
"C:" -> (arg => components_base = Path.explode(arg)),
"H:" -> (arg => heap = Some(Value.Int.parse(arg))),
- "M:" -> (arg => multicore_list = space_explode(',', arg).map(Multicore.parse(_))),
+ "M:" -> (arg => multicore_list = space_explode(',', arg).map(Multicore.parse)),
"N:" -> (arg => isabelle_identifier = arg),
"P:" -> (arg => afp_partition = Value.Int.parse(arg)),
"U:" -> (arg => max_heap = Some(Value.Int.parse(arg))),