From a5046bbe03a6de639305f61e4c5bc5912bea7d8c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 4 Oct 2004 12:25:48 +0000
Subject: Add arg to forward-comment for GNU Emacs.

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 58df1fae..92bf48e0 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1929,7 +1929,7 @@ This version is used when `proof-script-command-end-regexp' is set."
 		(unless
 		    (if (progn
 			  (goto-char (or (match-end 1) (match-beginning 0)))
-			  (forward-comment))
+			  (forward-comment 1))
 		    (proof-re-search-forward
 		     proof-script-comment-end-regexp cmdend t))
 		  (error
-- 
cgit v1.2.3