From 82ed0297bdddb7b652a7e3f17fbb183dba601dfa Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 10 May 2007 14:56:12 +0000
Subject: Fixed prompt regexp.

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

diff --git a/coq/coq.el b/coq/coq.el
index d58f4f54..6c01138f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -89,7 +89,7 @@ To disable coqc being called (and use only make), set this to nil."
 ;; Pierre added the infos in the prompt, this is new in Coq v8-1 
 
 (defvar coq-shell-prompt-pattern 
-  (if coq-version-is-V8-1 (concat "\\(?:\n<prompt>[^\n]+</prompt>\\)")
+  (if coq-version-is-V8-1 (concat "\\(?:\n\\(?:[^\n\371]+\371\\|<prompt>[^\n]+</prompt>\\)\\)")
     (concat "\\(?:\n" proof-id " < \371\\)"))
     "*The prompt pattern for the inferior shell running coq.")
 
-- 
cgit v1.2.3