Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/kodkod.ML
changeset 72202 0840240dfb24
parent 72200 edaed30360cc
child 72203 733bab4c1be0 
--- 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)
isabelle