diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-10-03 14:07:22 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-10-03 14:07:22 +0000 |
commit | 8e38eaf42d3dd22db8d13d9d1eb2c783e6bb789c (patch) | |
tree | 49e8321e146e2b666bfac741c4e397555c1ec2ea /generic/proof-script.el | |
parent | e22e952286d93a42ed78da6fe21093f96f4ff00d (diff) |
proof-assert-electric-terminator: repair so works at end of buffer
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 2 insertions, 1 deletions
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))) |