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 560d8aa3..d8df5353 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -752,7 +752,7 @@ Idtac (Nop) tactic, put the following line in your .emacs: "Punctuation Symbols used by Coq.") ;; ----- regular expressions -(defvar coq-error-regexp "^\\(Error\\|Discarding\\|Syntax error\\|System Error\\|User Error\\|Anomaly\\|Uncaught exception\\|Toplevel input\\)" +(defvar coq-error-regexp "^\\(Error\\|Discarding\\|Syntax error\\|System Error\\|User Error\\|User error\\|Anomaly\\|Uncaught exception\\|Toplevel input\\)" "A regexp indicating that the Coq process has identified an error.") (defvar coq-id proof-id) |