diff options
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 887d2b95..f2b76f48 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -287,7 +287,7 @@ user accidently killing an associated buffer." (if (and (proof-shell-live-buffer) proof-buffer-type) (progn (let ((bufname (buffer-name))) - (erase-buffer) + (bufhist-erase-buffer) (set-buffer-modified-p nil) (bury-buffer) (error |