From 77b2563d33581f6ca78e8be285391f0b60cd3dc6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Jun 2000 13:33:17 +0000
Subject: Use proof-comment-{start,end}-regexp

---
 generic/proof-indent.el | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'generic')

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))
-- 
cgit v1.2.3