From 8a3d1abf4ac1b452f9545bc3473372bd56b8eb92 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 May 2000 12:27:00 +0000
Subject: Change order of checks in proof-shell-live-buffer

---
 generic/proof-shell.el | 4 ++--
 1 file 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 ()
-- 
cgit v1.2.3