From ad655aa0324d59fac5f202d74381da6c7bf46626 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Wed, 21 Oct 1998 11:51:43 +0000
Subject: o made buffer-file-truename even safer o fixed bug in ...-check-...

---
 generic/proof.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/generic/proof.el b/generic/proof.el
index 21ada5a7..1415b13c 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -1576,10 +1576,11 @@ locked region or everything in it has been processed."
 			;; proof-register-new-processed-file to work
 			;; also for possibly non-new cases.
 			(not
-			 (member buffer-file-truename 
+			 (member (file-truename buffer-file-name) 
 				 proof-included-files-list))
 			(progn
-			  (proof-register-new-processed-file file)
+			  (proof-register-new-processed-file 
+			   buffer-file-name)
 			  ;; Continue 
 			  t)))))
 	    ;; we are changing the scripting buffer
-- 
cgit v1.2.3