diff options
Diffstat (limited to 'generic/pg-response.el')
| -rw-r--r-- | generic/pg-response.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 6f555513..1591ad1a 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -325,13 +325,14 @@ and start at the first error." (defun pg-thms-buffer-clear () "Clear the theorems buffer." (with-current-buffer proof-thms-buffer + (let (start str) (goto-char (point-max)) (newline) (setq start (point)) (insert str) (unless (bolp) (newline)) (proof-fontify-region start (point)) - (set-buffer-modified-p nil))) + (set-buffer-modified-p nil)))) |