diff -r 5f388e514ab8 -r 77ef8bef0593 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 }
   }
 }