diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-04-25 18:39:39 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-04-25 18:39:39 +0200 |
| commit | 8038b7270e7fd9752a62be2b4e59f26b8d0e48dc (patch) | |
| tree | 8776481eee4bb74d636d0a7678d89c89b39300fd /coq/coq-syntax.el | |
| parent | d2293966dfa556c6f236e86f1f204cee31bcc7be (diff) | |
Typo from commit 758e679e.
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 2801ddbe..e97d268c 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1214,7 +1214,7 @@ It is used: ;; <infomsg> and <warning> around all messages except errors. ;; We let our legacy regexp for some years and remove them, say, in 2020. (defvar coq-shell-eager-annotation-start - "\376\\|\\[Reinterning\\|Warning:\\|TcDebug \\|<infomsg>\\<warning>") + "\376\\|\\[Reinterning\\|Warning:\\|TcDebug \\|<infomsg>\\|<warning>") (defvar coq-shell-eager-annotation-end "\377\\|done\\]\\|</infomsg>\\|</warning>\\|\\*\\*\\*\\*\\*\\*\\|) >") |