1 files changed, 1 insertions, 1 deletions
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))