diff options
| author | David Aspinall | 1999-10-25 12:49:10 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-25 12:49:10 +0000 |
| commit | 7b86110d71e6281111d9bcfc44097a9113c630ae (patch) | |
| tree | f3d4ee412296670afa1b9beb1c12a93c4f24d059 | |
| parent | 98ce8cbe37d8206f2e0c08a918997b196eeea3a1 (diff) | |
Bug fix for proof-re-end-of-cmd (regexp-quote proof-terminal-string)
| -rw-r--r-- | generic/proof-shell.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index bf12bc9b..c0d6dcdd 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1647,7 +1647,10 @@ before and after sending the command." (setq proof-shell-urgent-message-scanner (make-marker)) (set-marker proof-shell-urgent-message-scanner (point-min)) - (setq proof-re-end-of-cmd (concat "\\s_*" proof-terminal-string "\\s_*\\\'")) + (setq proof-re-end-of-cmd + (concat "\\s_*" + (regexp-quote proof-terminal-string) + "\\s_*\\\'")) (setq proof-re-term-or-comment (concat proof-terminal-string "\\|" (regexp-quote proof-comment-start) "\\|" (regexp-quote proof-comment-end))) |