diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 3c73c53d..6bfbef51 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -681,6 +681,9 @@ unless the FLAGS for the command are non-nil (see `proof-action-list')." (save-excursion (proof-script-clear-queue-spans-on-error badspan (eq err-or-int 'interrupt)))) + ;; Note: coq-par-emergency-cleanup, which might be called via + ;; proof-shell-handle-error-or-interrupt-hook below, assumes that + ;; proof-action-list is empty on error. (setq proof-action-list nil) (proof-release-lock) (unless flags |