diff options
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 94bee243..9fd176ab 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -834,7 +834,8 @@ Then we call `proof-shell-error-or-interrupt-action', which see." 'proof-error-face) ; (proof-display-and-keep-buffer proof-response-buffer) (proof-warning - "Interrupt: script management may be in an inconsistent state") + "Interrupt: script management may be in an inconsistent state + (but it's probably okay)") (proof-shell-error-or-interrupt-action 'interrupt)) (defun proof-shell-error-or-interrupt-action (&optional err-or-int) |