diff options
| author | David Aspinall | 2000-05-30 12:27:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-30 12:27:00 +0000 |
| commit | 8a3d1abf4ac1b452f9545bc3473372bd56b8eb92 (patch) | |
| tree | e605c1a6db2bd2272dab0a7733d9e9cfe685f9ea /generic | |
| parent | edef6b2fbf0f4cd18a85be708b86b5bd01855286 (diff) | |
Change order of checks in proof-shell-live-buffer
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index d07b51bd..2b11c2e6 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -114,8 +114,8 @@ No change to current buffer or point." (defun proof-shell-live-buffer () "Return buffer of active proof assistant, or nil if none running." (and proof-shell-buffer - (comint-check-proc proof-shell-buffer) - (buffer-live-p proof-shell-buffer))) + (buffer-live-p proof-shell-buffer) + (comint-check-proc proof-shell-buffer))) ;;;###autoload (defun proof-shell-available-p () |