src/Pure/Concurrent/isabelle_thread.scala

--- a/src/Pure/Concurrent/isabelle_thread.scala	Thu Mar 31 21:48:08 2022 +0200
+++ b/src/Pure/Concurrent/isabelle_thread.scala	Thu Mar 31 21:51:19 2022 +0200
@@ -148,22 +148,19 @@
   // synchronized, with concurrent changes
   private var interrupt_postponed: Boolean = false
 
-  def clear_interrupt: Boolean = synchronized
-  {
+  def clear_interrupt: Boolean = synchronized {
     val was_interrupted = isInterrupted || interrupt_postponed
     Exn.Interrupt.dispose()
     interrupt_postponed = false
     was_interrupted
   }
 
-  def raise_interrupt: Unit = synchronized
-  {
+  def raise_interrupt: Unit = synchronized {
     interrupt_postponed = false
     super.interrupt()
   }
 
-  def postpone_interrupt: Unit = synchronized
-  {
+  def postpone_interrupt: Unit = synchronized {
     interrupt_postponed = true
     Exn.Interrupt.dispose()
   }