src/Pure/System/numa.scala

--- a/src/Pure/System/numa.scala	Fri Mar 27 13:04:15 2020 +0100
+++ b/src/Pure/System/numa.scala	Fri Mar 27 22:01:27 2020 +0100
@@ -26,7 +26,7 @@
       }
 
     if (numa_nodes_linux.is_file) {
-      space_explode(',', File.read(numa_nodes_linux).trim).flatMap(read(_))
+      space_explode(',', File.read(numa_nodes_linux).trim).flatMap(read)
     }
     else Nil
   }