--- a/src/Pure/General/exn.scala Thu Mar 04 19:55:52 2021 +0100
+++ b/src/Pure/General/exn.scala Thu Mar 04 21:04:27 2021 +0100
@@ -102,9 +102,9 @@
def apply(): Throwable = new InterruptedException("Interrupt")
def unapply(exn: Throwable): Boolean = is_interrupt(exn)
- def dispose(): Unit = Thread.interrupted
- def expose(): Unit = if (Thread.interrupted) throw apply()
- def impose(): Unit = Thread.currentThread.interrupt
+ def dispose(): Unit = Thread.interrupted()
+ def expose(): Unit = if (Thread.interrupted()) throw apply()
+ def impose(): Unit = Thread.currentThread.interrupt()
val return_code = 130
}