From e0a8de9c5ef7a67d49aa58c028f1731176c79ea9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Dec 1998 10:56:41 +0000
Subject: Patch for case that new script buffer has no filename.

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

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 3d07a9ac..6aae642c 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1636,7 +1636,8 @@ finish setup which depends on specific proof assistant configuration."
   ;; NB: call to file-truename is needed for FSF Emacs which
   ;; chooses to make buffer-file-truename abbreviate-file-name
   ;; form of file-truename.
-  (and (member (file-truename buffer-file-truename)
+  (and buffer-file-truename
+       (member (file-truename buffer-file-truename)
 	       proof-included-files-list)
        (proof-mark-buffer-atomic (current-buffer)))
 
-- 
cgit v1.2.3