From 8e38eaf42d3dd22db8d13d9d1eb2c783e6bb789c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 3 Oct 2009 14:07:22 +0000
Subject: proof-assert-electric-terminator: repair so works at end of buffer

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 40249215..47564f12 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2052,7 +2052,8 @@ 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 (not (= (char-after (point)) proof-terminal-char))
+      (if (and (char-after (point))
+	       (not (= (char-after (point)) proof-terminal-char)))
 	  (unless proof-electric-terminator-noterminator
 	    (insert proof-terminal-string)
 	    (setq ins t)))
-- 
cgit v1.2.3