From 2b89ed20b6ec3253744d796e59a0079dc6779c05 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Wed, 21 Oct 1998 12:05:19 +0000
Subject: fixed a bug in `proof-check-process-available'

---
 generic/proof.el | 25 +++++++++++++------------
 1 file changed, 13 insertions(+), 12 deletions(-)

(limited to 'generic')

diff --git a/generic/proof.el b/generic/proof.el
index 1415b13c..563453ef 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -1571,18 +1571,19 @@ locked region or everything in it has been processed."
 		   ;; completely processed.  Make sure that it's
 		   ;; registered on the included files list, in
 		   ;; case it has been processed piecemeal.
-		   (and buffer-file-name
-			;; FIXME: Could alter
-			;; proof-register-new-processed-file to work
-			;; also for possibly non-new cases.
-			(not
-			 (member (file-truename buffer-file-name) 
-				 proof-included-files-list))
-			(progn
-			  (proof-register-new-processed-file 
-			   buffer-file-name)
-			  ;; Continue 
-			  t)))))
+		   (progn
+		     (if (and buffer-file-name
+			      ;; FIXME: Could alter
+			      ;; proof-register-new-processed-file to work
+			      ;; also for possibly non-new cases.
+			      (not
+			       (member (file-truename buffer-file-name) 
+				       proof-included-files-list)))
+			 (progn
+			   (proof-register-new-processed-file 
+			    buffer-file-name)))
+		     ;; Continue 
+		     t))))
 	    ;; we are changing the scripting buffer
 	   (progn
 	     (setq proof-active-buffer-fake-minor-mode nil)
-- 
cgit v1.2.3