diff options
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 |