From d707721dba14a17d054ddb7c2e2d34e233d41e20 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 25 Jul 2012 11:25:17 +0000
Subject: Cleaned up a obsolete regexp.

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index ef10b74d..95cdede0 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1084,7 +1084,7 @@ With flag Printing All if some prefix arg is given (C-u)."
    ;;        want xml like tags, and I want them removed before warning display.
    ;; I want the same for errors -> pgip
 
-   proof-shell-eager-annotation-end "\377\\|\\.\\|done\\]\\|</infomsg>\\|\\*\\*\\*\\*\\*\\*\\|) >" ; done
+   proof-shell-eager-annotation-end "\377\\|done\\]\\|</infomsg>\\|\\*\\*\\*\\*\\*\\*\\|) >" ; done
    proof-shell-annotated-prompt-regexp coq-shell-prompt-pattern
    proof-shell-result-start "\372 Pbp result \373"
    proof-shell-result-end "\372 End Pbp result \373"
-- 
cgit v1.2.3