From 2cff44522ab8bdca8d73e3819f6ab89984f2c97c Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Fri, 31 Mar 2017 17:39:41 +0200 Subject: Fixing #173. --- coq/coq-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/coq-syntax.el') 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 -- cgit v1.2.3