diff options
| -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>\\|\\*\\*\\*\\*\\*\\*\\|) >") |