From 419dc708cd361050ca5d75725ac37f0a6a388ef3 Mon Sep 17 00:00:00 2001
From: Dilip Sequiera
Date: Tue, 5 Nov 1996 15:26:59 +0000
Subject: Bug with semicolon minor mode near-fixed

---
 proof.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proof.el b/proof.el
index 96b673bc..c917519a 100644
--- a/proof.el
+++ b/proof.el
@@ -168,7 +168,7 @@
        (cond ((looking-at proof-terminal-string) 
               (forward-char)
 	      (proof-skip-comments))
-	     ((looking-at   (substring proof-comment-start 0 1) nil))
+	     ((looking-at (substring proof-comment-start 0 1)) nil)
 	     ((looking-at (substring proof-comment-end 0 1))
 	      (if (search-backward proof-comment-start nil t)
 		  (if (equal (point) (point-min)) 
-- 
cgit v1.2.3