src/Pure/System/posix_interrupt.scala

--- a/src/Pure/System/posix_interrupt.scala	Thu Mar 04 19:55:52 2021 +0100
+++ b/src/Pure/System/posix_interrupt.scala	Thu Mar 04 21:04:27 2021 +0100
@@ -23,7 +23,7 @@
   def exception[A](e: => A): A =
   {
     val thread = Thread.currentThread
-    handler { thread.interrupt } { e }
+    handler { thread.interrupt() } { e }
   }
 }