From 49fda3fd12b9985da15a52756e4a18fd2bc5ba2b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Jul 2002 10:38:48 +0000
Subject: Variable name change proof-comment-{start,end}-regexp ->
 proof-script-comment-{start,end}-regexp.

---
 coq/coq.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index ca6a6009..106b16c7 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -541,8 +541,8 @@ This is specific to coq-mode."
   (setq proof-terminal-char ?\.)
   (setq proof-script-command-end-regexp   
 	(if coq-version-is-V7 "[.]\\([ \t\n\r]\\)\\|[.]\\'" "[.]"))
-  (setq proof-comment-start "(*")
-  (setq proof-comment-end "*)")
+  (setq proof-script-comment-start "(*")
+  (setq proof-script-comment-end "*)")
   (setq proof-unnamed-theorem-name "Unnamed_thm") ; Coq's default name
 
   (setq proof-assistant-home-page coq-www-home-page)
-- 
cgit v1.2.3