diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-26 20:37:41 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-26 20:37:41 +0000 |
| commit | ff384cc7c99e2f61cd472d9530bf06df3c3582bf (patch) | |
| tree | a2b41f6c07ef158fe1e5205924aa8e3b7bc9c108 | |
| parent | 8cd6d8f488fcb5b022f33f8322d3a8821b19f482 (diff) | |
Format fix
| -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) |