diff options
Diffstat (limited to 'isar/isar.el')
| -rw-r--r-- | isar/isar.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/isar/isar.el b/isar/isar.el index 25faefb1..5013e054 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -42,11 +42,10 @@ (cmt-end-regexp (regexp-quote proof-comment-end)) (cmt-start-regexp (regexp-quote proof-comment-start)) (found-header nil) forward-amount - (end (point-max)) (cont t) (cmt-level 0) c) + (end (point-max)) (cont t) (cmt-level 0)) (save-excursion (goto-char (point-min)) (while (and cont (< (point) end)) - (setq c (char-after (point))) (setq forward-amount 1) (cond ;; comments |