diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2004-05-07 12:11:41 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2004-05-07 12:11:41 +0000 |
| commit | 1dd60b16da1aa04e9b38b9abdbf9bff3d6dc6e19 (patch) | |
| tree | 37b4703a1c879e90143054447736aa08dc3ddc41 /coq | |
| parent | 255f394c87bdcd47e0d0d7b07bd830c750d4c29d (diff) | |
added "User error" to error message (had already "User Error").
Diffstat (limited to 'coq')
| -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) |