diff options
| -rw-r--r-- | generic/pg-user.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 463684c8..4adc3c39 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -1465,7 +1465,8 @@ assuming the undo-in-region behavior will apply if ARG is non-nil." (message "Sending commands to prover...error.")) ((and (input-pending-p) proof-shell-busy) (proof-interrupt-process) - (message "Sending commands to prover...interrupted.")) + (message "Sending commands to prover...interrupted.") + (proof-shell-wait)) (t (message "Sending commands to prover...done.")))) (setq proof-autosend-running nil)))) |