From 445d904669fed7d41b70bdecd268af1935c5f43e Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Thu, 24 May 2012 12:55:55 +0000
Subject: fix "Hide Additional Subgoals" for coq 8.4beta

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

diff --git a/coq/coq.el b/coq/coq.el
index 4ab3f466..98598df1 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -176,7 +176,7 @@ On Windows you might need something like:
   :type 'string
   :group 'coq)
 
-(defcustom coq-end-goals-regexp-hide-subgoals "\nsubgoal 2 is:"
+(defcustom coq-end-goals-regexp-hide-subgoals "\nsubgoal 2 "
   "Regexp for `proof-shell-end-goals-regexp' when hiding additional subgoals.
 See also `coq-hide-additional-subgoals'."
   :type '(choice regexp (const nil))
@@ -953,7 +953,6 @@ If locked span already has a state number, then do nothing. Also updates
 
 (defun coq-hide-additional-subgoals-switch ()
   "Function invoked when the user switches `coq-hide-additional-subgoals'."
-  (message "chass")
   (if coq-hide-additional-subgoals
       (setq proof-shell-end-goals-regexp coq-end-goals-regexp-hide-subgoals)
     (setq proof-shell-end-goals-regexp coq-end-goals-regexp-show-subgoals)))
-- 
cgit v1.2.3