From ccd8c6ccd5bf8844a8eeae80af6a51557c6b439d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 7 Sep 2010 22:10:31 +0000
Subject: proof-assert-electric-terminator: fix for proof-terminal-string, not
 char

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 53880933..3746dbba 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1880,8 +1880,7 @@ comment, and insert or skip to the next semi)."
 	  (error "There's nothing to do!"))
       (skip-chars-backward " \t\n")
       (unless (or proof-electric-terminator-noterminator
-		  (and (char-after (point))
-		       (= (char-after (point)) proof-terminal-string)))
+		  (looking-at (regexp-quote proof-terminal-string)))
 	(insert proof-terminal-string)
 	(setq ins t))
       (let* ((pos
-- 
cgit v1.2.3