# HG changeset patch
# User wenzelm
# Date 1598298441 -7200
# Node ID 0840240dfb24a5127b6fcf18df896c6bad111f84
# Parent  46bc864ec7a83472f278cd041556df26da817e34
more explicit treatment of interrupt;

diff -r 46bc864ec7a8 -r 0840240dfb24 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Aug 24 21:27:03 2020 +0200
+++ b/Admin/components/components.sha1	Mon Aug 24 21:47:21 2020 +0200
@@ -183,6 +183,7 @@
 0634a946b216f7f07f1a0f7e28cf345daa28828f  kodkodi-1.5.3.tar.gz
 52e95b3493d71902f9df89d0bb59d0046a5f0c63  kodkodi-1.5.4-1.tar.gz
 267189c637de26cf304d699cfa95389da002b250  kodkodi-1.5.4.tar.gz
+3ecdade953bb455ed2907952be287d7e5cf6533b  kodkodi-1.5.5.tar.gz
 377e36efb8608e6c828c7718d890e97fde2006a4  linux_app-20131007.tar.gz
 759848095e2ad506083d92b5646947e3c32f27a0  linux_app-20191223.tar.gz
 1a449ce69ac874e21804595d16aaaf5a0d0d0c10  linux_app-20200110.tar.gz
diff -r 46bc864ec7a8 -r 0840240dfb24 Admin/components/main
--- a/Admin/components/main	Mon Aug 24 21:27:03 2020 +0200
+++ b/Admin/components/main	Mon Aug 24 21:47:21 2020 +0200
@@ -9,7 +9,7 @@
 jedit_build-20200610
 jfreechart-1.5.0
 jortho-1.0-2
-kodkodi-1.5.4-1
+kodkodi-1.5.5
 nunchaku-0.5
 opam-2.0.6
 polyml-test-f54aa41240d0
diff -r 46bc864ec7a8 -r 0840240dfb24 src/HOL/Tools/Nitpick/kodkod.ML
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Mon Aug 24 21:27:03 2020 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Mon Aug 24 21:47:21 2020 +0200
@@ -1067,7 +1067,9 @@
                       |> Substring.isEmpty |> not
       in
         if null ps then
-          if rc = 2 then
+          if rc = 130 then
+            raise Exn.Interrupt
+          else if rc = 2 then
             TimedOut js
           else if rc = 0 then
             Normal ([], js, first_error)