diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2006-02-16 10:52:20 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2006-02-16 10:52:20 +0000 |
| commit | 5c3f73417729e94d234c330854e0f29171eb8470 (patch) | |
| tree | 7ec8d85a4b34621152533372b866b4f677fedaae | |
| parent | b82651c0a08377e7096a8b42348860c0bab6dec6 (diff) | |
made coq error regexp more precise
| -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 db90a4fc..360ab3ac 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -571,7 +571,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\\|User error\\|Anomaly\\|Uncaught exception\\|Toplevel input\\)" +(defvar coq-error-regexp "^\\(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-id proof-id) |