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.

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

(limited to 'plastic')

diff --git a/plastic/plastic.el b/plastic/plastic.el
index 922725c3..35a6c18c 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -351,8 +351,8 @@ Given is the first SPAN which needs to be undone."
   ;; (setq proof-electric-terminator-enable t)	;; force semicolons active.
 
   (setq proof-terminal-char ?\;)
-  (setq proof-comment-start "(*")			;; these still active
-  (setq proof-comment-end "*)")
+  (setq proof-script-comment-start "(*")			;; these still active
+  (setq proof-script-comment-end "*)")
 
   (setq proof-assistant-home-page plastic-www-home-page)
   (setq proof-mode-for-script 'plastic-mode)
-- 
cgit v1.2.3