diff options
| author | Thomas Kleymann | 1998-10-21 12:05:19 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-21 12:05:19 +0000 |
| commit | 2b89ed20b6ec3253744d796e59a0079dc6779c05 (patch) | |
| tree | 4bd5de35eeb484dc3f2e4e94314283138589e4f6 | |
| parent | ad655aa0324d59fac5f202d74381da6c7bf46626 (diff) | |
fixed a bug in `proof-check-process-available'
| -rw-r--r-- | generic/proof.el | 25 |
1 files changed, 13 insertions, 12 deletions
diff --git a/generic/proof.el b/generic/proof.el index 1415b13c..563453ef 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -1571,18 +1571,19 @@ locked region or everything in it has been processed." ;; completely processed. Make sure that it's ;; registered on the included files list, in ;; case it has been processed piecemeal. - (and buffer-file-name - ;; FIXME: Could alter - ;; proof-register-new-processed-file to work - ;; also for possibly non-new cases. - (not - (member (file-truename buffer-file-name) - proof-included-files-list)) - (progn - (proof-register-new-processed-file - buffer-file-name) - ;; Continue - t))))) + (progn + (if (and buffer-file-name + ;; FIXME: Could alter + ;; proof-register-new-processed-file to work + ;; also for possibly non-new cases. + (not + (member (file-truename buffer-file-name) + proof-included-files-list))) + (progn + (proof-register-new-processed-file + buffer-file-name))) + ;; Continue + t)))) ;; we are changing the scripting buffer (progn (setq proof-active-buffer-fake-minor-mode nil) |