# HG changeset patch
# User wenzelm
# Date 1585430308 -3600
# Node ID 1f3d9a9dd42a9543af7062ca08a36da2c5375454
# Parent  fb7fdd3eb7b980ba824722b28a4c9609636b1459
more robust, notably wrt. interrupts;

diff -r fb7fdd3eb7b9 -r 1f3d9a9dd42a src/HOL/Tools/Nitpick/kodkod.ML
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Thu Mar 26 11:48:52 2020 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Sat Mar 28 22:18:28 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