diff options
| -rw-r--r-- | generic/proof.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof.el b/generic/proof.el index 42d3b60c..f50e685a 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -144,7 +144,8 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding (goto-char (point-max)) (newline) (setq start (point)) - (insert str) (setq end (point)) + (insert str) + (setq end (point)) (save-excursion (font-lock-set-defaults) ;required for FSF Emacs 20.2 (font-lock-fontify-region start end) |