From 6c0e1ea185777f40a141231c11bef1dfc272c387 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Aug 2010 23:20:15 +0000
Subject: proof-assert-electric-terminator: fix logic for inserting at buffer
 end

---
 generic/proof-script.el | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index ff205826..3db7bfde 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1877,11 +1877,11 @@ comment, and insert or skip to the next semi)."
       (if (proof-only-whitespace-to-locked-region-p)
 	  (error "There's nothing to do!"))
       (skip-chars-backward " \t\n")
-      (if (and (char-after (point))
-	       (not (= (char-after (point)) proof-terminal-char)))
-	  (unless proof-electric-terminator-noterminator
-	    (insert proof-terminal-string)
-	    (setq ins t)))
+      (unless (or proof-electric-terminator-noterminator
+		  (and (char-after (point))
+		       (= (char-after (point)) proof-terminal-char)))
+	(insert proof-terminal-string)
+	(setq ins t))
       (let* ((pos  
 	      (if proof-electric-terminator-noterminator (1- (point)) (point)))
 	     (semis
-- 
cgit v1.2.3