From bc8a80167ad13742d4cf6b6bf794883516429517 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Wed, 7 Dec 2011 09:23:09 +0000
Subject: - protect proof-shell-handle-delayed-output against the case where  
 proof-shell-end-goals-regexp is defined but does not match - add coq setting
 for hiding additional subgoals

---
 generic/proof-shell.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 6abef30b..a2402013 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1502,9 +1502,9 @@ i.e., 'goals or 'response."
        (while (re-search-forward proof-shell-start-goals-regexp end t)
 	 (setq gstart (match-beginning 0))
 	 (setq gend
-	       (if proof-shell-end-goals-regexp
+	       (if (and proof-shell-end-goals-regexp
+			(re-search-forward proof-shell-end-goals-regexp end t))
 		   (progn
-		     (re-search-forward proof-shell-end-goals-regexp end t)
 		     (setq rstart (match-end 0))
 		     (match-beginning 0))
 		 end)))
-- 
cgit v1.2.3