diff options
| author | David Aspinall | 2009-09-04 15:21:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-04 15:21:14 +0000 |
| commit | 0c855d12fe8d21f0ab1dbe3288c6d47fac9c66f4 (patch) | |
| tree | ad3e77a57a7017705092e13612ea25654a41a615 | |
| parent | 06aaa6ab6ac0dc980176695a47a405e4fed86ba4 (diff) | |
proof-file-to-buffer -> find-buffer-visiting
| -rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 19eb4330..47ddd9bb 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -758,7 +758,7 @@ No action is taken if the file is already registered. A warning message is issued if the register request came from the proof assistant and Emacs has a modified buffer visiting the file." (let* ((cfile (file-truename file)) - (buffer (proof-file-to-buffer cfile))) + (buffer (find-buffer-visiting cfile))) (proof-debug (concat "Registering file " cfile (if (member cfile proof-included-files-list) " (already registered, no action)." "."))) @@ -851,7 +851,7 @@ This is a subroutine for `proof-unregister-buffer-file-name'." ;; already by a recursive call here. (But since we do retraction ;; in reverse order, this shouldn't happen...) (if (and (member rfile proof-included-files-list) - (setq rbuf (proof-file-to-buffer rfile))) + (setq rbuf (find-buffer-visiting rfile))) (progn (proof-debug "Automatically retracting " rfile) (proof-protected-process-or-retract 'retract rbuf) |