diff options
-rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 93721855..756aa4da 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -414,7 +414,7 @@ process command." "Function run when a proof-shell buffer is killed. Try to shut down the proof process nicely and clear locked regions and state variables. Value for `kill-buffer-hook' in -shell buffer, alled by `proof-shell-bail-out' if process exits." +shell buffer, called by `proof-shell-bail-out' if process exits." (let* ((alive (scomint-check-proc (current-buffer))) (proc (get-buffer-process (current-buffer))) (bufname (buffer-name))) |