changeset 78681 | 38fe769658be |
parent 78672 | fcdfd3251892 |
child 78726 | 810eca753919 |
--- a/src/HOL/Tools/Nitpick/kodkod.ML Thu Sep 21 18:17:26 2023 +0200 +++ b/src/HOL/Tools/Nitpick/kodkod.ML Thu Sep 21 23:45:03 2023 +0200 @@ -1049,7 +1049,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 Exn.interrupt () + else if rc = 130 then Isabelle_Thread.interrupt_self () else Error (if first_error = "" then "Unknown error" else first_error, js) end end