diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-21 11:51:43 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-21 11:51:43 +0000 |
| commit | ad655aa0324d59fac5f202d74381da6c7bf46626 (patch) | |
| tree | 4cf66f280b39f273f55e344bbf8342e2ed0a3534 /generic | |
| parent | 6d2cf60d7e3920c712b9599994483571a5ac56b1 (diff) | |
o made buffer-file-truename even safer
o fixed bug in ...-check-...
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof.el | 5 |
1 files 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 |