diff options
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))) |