# HG changeset patch
# User wenzelm
# Date 1677590030 -3600
# Node ID d2711c9ffa51ffdeee2efae0d5cb353a271e85c3
# Parent  8fe30123aaab4c47b9ea767e4728431eee5b9d9c
tuned whitespace;

diff -r 8fe30123aaab -r d2711c9ffa51 src/Pure/Concurrent/future.scala
--- a/src/Pure/Concurrent/future.scala	Tue Feb 28 11:20:01 2023 +0000
+++ b/src/Pure/Concurrent/future.scala	Tue Feb 28 14:13:50 2023 +0100
@@ -139,7 +139,8 @@
   daemon: Boolean,
   inherit_locals: Boolean,
   uninterruptible: Boolean,
-  body: => A) extends Future[A] {
+  body: => A
+) extends Future[A] {
   private val result = Future.promise[A]
   private val thread =
     Isabelle_Thread.fork(name = name, group = group, pri = pri, daemon = daemon,
diff -r 8fe30123aaab -r d2711c9ffa51 src/Pure/Concurrent/isabelle_thread.scala
--- a/src/Pure/Concurrent/isabelle_thread.scala	Tue Feb 28 11:20:01 2023 +0000
+++ b/src/Pure/Concurrent/isabelle_thread.scala	Tue Feb 28 14:13:50 2023 +0100
@@ -124,9 +124,14 @@
     else body
 }
 
-class Isabelle_Thread private(main: Runnable, name: String, group: ThreadGroup,
-    pri: Int, daemon: Boolean, inherit_locals: Boolean)
-  extends Thread(group, null, name, 0L, inherit_locals) {
+class Isabelle_Thread private(
+  main: Runnable,
+  name: String,
+  group: ThreadGroup,
+  pri: Int,
+  daemon: Boolean,
+  inherit_locals: Boolean
+) extends Thread(group, null, name, 0L, inherit_locals) {
   thread =>
 
   thread.setPriority(pri)