diff options
| author | David Aspinall | 1998-12-10 10:56:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-10 10:56:41 +0000 |
| commit | e0a8de9c5ef7a67d49aa58c028f1731176c79ea9 (patch) | |
| tree | 2067f4efc0df21368aca86bee0f7ca1b007b5e30 /generic/proof-script.el | |
| parent | 803329b20efc58bc17bde2c65c95ad0279a6da22 (diff) | |
Patch for case that new script buffer has no filename.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 2 insertions, 1 deletions
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))) |