diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-03-31 17:39:41 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-03-31 17:39:41 +0200 |
| commit | 2cff44522ab8bdca8d73e3819f6ab89984f2c97c (patch) | |
| tree | 66326d537bb308618163f6fd16e16700c9001a4e /coq/coq-syntax.el | |
| parent | ff8438b9930ad21b625a02e9c172c8293556f3cc (diff) | |
Fixing #173.
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 0b86d8fe..7cae3a88 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1207,7 +1207,7 @@ It is used: (defvar coq-symbols-regexp (regexp-opt coq-symbols)) ;; ----- regular expressions -(defvar coq-error-regexp "^\\(Error:\\|Discarding pattern\\|Syntax error:\\|System Error:\\|User Error:\\|User error:\\|Anomaly[:.]\\|Toplevel input[,]\\)" +(defvar coq-error-regexp "^\\(In nested Ltac call\\|Error:\\|Discarding pattern\\|Syntax error:\\|System Error:\\|User Error:\\|User error:\\|Anomaly[:.]\\|Toplevel input[,]\\)" "A regexp indicating that the Coq process has identified an error.") (defvar coq-shell-eager-annotation-start |