diff options
| author | Makarius Wenzel | 2000-09-03 18:09:04 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-03 18:09:04 +0000 |
| commit | 4ab1b27b53814c1d5cf9885a62010939653570ef (patch) | |
| tree | efc3107ad10789f4184b8a3c870e36662ead76a5 | |
| parent | 4eae9ec679b594887cdb89625abdab70f2169578 (diff) | |
removed unused variable C;
| -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 |