changeset 78787 | a7e4b412cc7c |
parent 78726 | 810eca753919 |
--- a/src/HOL/Tools/Nitpick/kodkod.ML Tue Oct 17 11:52:52 2023 +0200 +++ b/src/HOL/Tools/Nitpick/kodkod.ML Tue Oct 17 12:10:58 2023 +0200 @@ -1051,7 +1051,7 @@ in if not (null ps) orelse rc = 0 then Normal (ps, js, first_error) else if rc = 2 then TimedOut js - else if rc = 130 then Isabelle_Thread.interrupt_self () + else if rc = 130 then Isabelle_Thread.raise_interrupt () else Error (if first_error = "" then "Unknown error" else first_error, js) end end