# HG changeset patch
# User wenzelm
# Date 1585232041 -3600
#      Thu Mar 26 15:14:01 2020 +0100
# Node ID 87f56cf1a9768fbc1fe5b82ed6951a4089106cc8
# Parent  d1c2ff90c29abb12672ee53d2a317a883efac094
more robust;

diff -r d1c2ff90c29a -r 87f56cf1a976 src/HOL/Tools/Nitpick/kodkod.ML
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Mon Mar 23 16:11:41 2020 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Thu Mar 26 15:14:01 2020 +0100
@@ -1079,6 +1079,7 @@
                 Normal (ps, js, first_error)
             end
         in remove_temporary_files (); outcome end
+        handle exn => (remove_temporary_files (); Exn.reraise exn)
       end
   end