diff options
| -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 () |