diff options
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 6287629c..a0e80fa7 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -221,10 +221,11 @@ No change to current buffer or point." (error "Proof process busy!"))) ;;;###autoload -(defsubst proof-shell-live-buffer () +(defun proof-shell-live-buffer () "Return non-nil if ‘proof-shell-buffer’ is live." (and proof-shell-buffer (buffer-live-p proof-shell-buffer) + ;; FIXME: Use process-live-p? (scomint-check-proc proof-shell-buffer))) ;;;###autoload |