diff options
| author | David Aspinall | 2000-06-01 13:33:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-01 13:33:17 +0000 |
| commit | 77b2563d33581f6ca78e8be285391f0b60cd3dc6 (patch) | |
| tree | 02e3c0794591a7f230ffd402f89f4c974b73fe1c /generic/proof-indent.el | |
| parent | caf2fedfc3c66db508093a72170cd2aaf9e9fbae (diff) | |
Use proof-comment-{start,end}-regexp
Diffstat (limited to 'generic/proof-indent.el')
| -rw-r--r-- | generic/proof-indent.el | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index ec580165..c3ed2032 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -20,9 +20,7 @@ (defun proof-parse-to-point (&optional from state) (let ((cmt-level 0) (stack (list (list nil 0))) - (end (point)) instring c forward-amount - (cmt-end-regexp (regexp-quote proof-comment-end)) - (cmt-start-regexp (regexp-quote proof-comment-start))) + (end (point)) instring c forward-amount) (save-excursion (if (null from) (goto-char (point-min)) @@ -44,10 +42,10 @@ (setq instring t)) ;; comments - ((proof-looking-at cmt-start-regexp) + ((proof-looking-at proof-comment-start-regexp) (setq forward-amount (length (match-string 0))) (incf cmt-level)) - ((proof-looking-at cmt-end-regexp) + ((proof-looking-at proof-comment-end-regexp) (setq forward-amount (length (match-string 0))) (decf cmt-level)) ((> cmt-level 0)) |