From 749768007fc5aba7b107048ec27222786ad839b7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2002 18:29:18 +0000
Subject: Simplify fix for repeated comments (commentre includes whitespace).

---
 generic/proof-script.el | 2 --
 1 file changed, 2 deletions(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 01bc9f7b..b5f7ca15 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1623,9 +1623,7 @@ This version is used when `proof-script-command-start-regexp' is set."
 				    (looking-at commentre)
 				    (re-search-forward proof-comment-end-regexp)
 				    (progn
-				      (skip-chars-forward " \t\n")
 				      (while (looking-at commentre)
-					(skip-chars-forward " \t\n")
 					(re-search-forward proof-comment-end-regexp))
 				      (>= (point) comend)))
 				   'comment 'cmd)))
-- 
cgit v1.2.3