diff options
| author | Anaclet | 2020-05-25 10:55:03 +0200 |
|---|---|---|
| committer | Anaclet | 2020-05-29 11:05:58 +0200 |
| commit | 3ab3f5efbbb724cb2e4aebc3c4d7bfdce4008896 (patch) | |
| tree | 32d6e1a6407bc18c62685233229ad6c74cb6d64b /coq/coq-syntax.el | |
| parent | 411ebb27fda4d39fc22baf341dcdde2341632b8d (diff) | |
fix: backtrack wrong type argument
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 47869aed..5b8d8c48 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1305,7 +1305,7 @@ It is used: (defconst coq-show-proof-diffs-regexp - "\\bShow Proof\\(?: Diffs\\| Diffs removed\\)?\\.\\b") + "\\`Show Proof\\(?: Diffs\\| Diffs removed\\)?\\.\\'") (defconst coq-save-command-regexp ;; FIXME: The surrounding grouping parens are probably not needed. |