src/Pure/proofterm.ML

--- a/src/Pure/proofterm.ML	Wed Oct 11 14:03:16 2023 +0200
+++ b/src/Pure/proofterm.ML	Thu Oct 12 10:56:45 2023 +0200
@@ -2245,9 +2245,8 @@
           (case Exn.capture_body export_body of
             Exn.Res res => res
           | Exn.Exn exn =>
-              if Exn.is_interrupt exn then
-                raise Fail ("Interrupt: potential resource problems while exporting proof " ^
-                  string_of_int i)
+              if Exn.is_interrupt_breakdown exn then
+                raise Fail ("Resource problems while exporting proof " ^ string_of_int i)
               else Exn.reraise exn))
       else no_export;