diff options
| author | David Aspinall | 2010-09-07 22:10:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-09-07 22:10:31 +0000 |
| commit | ccd8c6ccd5bf8844a8eeae80af6a51557c6b439d (patch) | |
| tree | 96ab87a27e043b0d3121a2e0fd3d991a6a9cf7cc /generic/proof-script.el | |
| parent | c397455538e42794f70f2fece7f8e9f036c80969 (diff) | |
proof-assert-electric-terminator: fix for proof-terminal-string, not char
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 1 insertions, 2 deletions
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 |