src/Pure/System/numa.scala

--- a/src/Pure/System/numa.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/System/numa.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -7,12 +7,10 @@
 package isabelle
 
 
-object NUMA
-{
+object NUMA {
   /* available nodes */
 
-  def nodes(): List[Int] =
-  {
+  def nodes(): List[Int] = {
     val numa_nodes_linux = Path.explode("/sys/devices/system/node/online")
 
     val Single = """^(\d+)$""".r
@@ -52,8 +50,7 @@
     try { nodes().length >= 2 && numactl_available }
     catch { case ERROR(_) => false }
 
-  def enabled_warning(progress: Progress, enabled: Boolean): Boolean =
-  {
+  def enabled_warning(progress: Progress, enabled: Boolean): Boolean = {
     def warning =
       if (nodes().length < 2) Some("no NUMA nodes available")
       else if (!numactl_available) Some("bad numactl tool")
@@ -66,8 +63,7 @@
       })
   }
 
-  class Nodes(enabled: Boolean = true)
-  {
+  class Nodes(enabled: Boolean = true) {
     private val available = nodes().zipWithIndex
     private var next_index = 0