From 1dd60b16da1aa04e9b38b9abdbf9bff3d6dc6e19 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Fri, 7 May 2004 12:11:41 +0000 Subject: added "User error" to error message (had already "User Error"). --- coq/coq-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq') 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) -- cgit v1.2.3