diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-09-14 11:23:58 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-09-14 11:23:58 +0000 |
commit | c290f64d3085ebad129d164c144a5a2f572b7c9c (patch) | |
tree | 1c3f36038faeb450a7b6fd5f066cd6d1a31bf72a /generic | |
parent | 8683a3057bb232737631ffe20ce63db92a123624 (diff) |
Fix typo
Diffstat (limited to 'generic')
-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))) |