--- a/src/Pure/General/exn.scala Sun Jul 25 16:38:16 2021 +0200
+++ b/src/Pure/General/exn.scala Mon Jul 26 13:04:55 2021 +0200
@@ -97,15 +97,13 @@
def dispose(): Unit = Thread.interrupted()
def expose(): Unit = if (Thread.interrupted()) throw apply()
def impose(): Unit = Thread.currentThread.interrupt()
-
- val return_code: Int = isabelle.setup.Exn.INTERRUPT_RETURN_CODE
}
/* POSIX return code */
def return_code(exn: Throwable, rc: Int): Int =
- if (is_interrupt(exn)) Interrupt.return_code else rc
+ if (is_interrupt(exn)) Process_Result.interrupt_rc else rc
/* message */