From f3953584ef833db71d937e781f5d8c565cc7adb7 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Sat, 26 May 2012 12:53:25 +0000
Subject: another hide additional subgoals fix

---
 coq/coq.el | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 98598df1..7ee88f53 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -176,12 +176,6 @@ On Windows you might need something like:
   :type 'string
   :group 'coq)
 
-(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))
-  :group 'coq)
-
 (defcustom coq-end-goals-regexp-show-subgoals "\n(dependent evars:"
   "Regexp for `proof-shell-end-goals-regexp' when showing all subgoals.
 A setting of nil means show all output from Coq. See also
@@ -189,6 +183,12 @@ A setting of nil means show all output from Coq. See also
   :type '(choice regexp (const nil))
   :group 'coq)
 
+(defcustom coq-end-goals-regexp-hide-subgoals
+  (concat "\\(\nsubgoal 2 \\)\\|\\(" coq-end-goals-regexp-show-subgoals "\\)")
+  "Regexp for `proof-shell-end-goals-regexp' when hiding additional subgoals.
+See also `coq-hide-additional-subgoals'."
+  :type '(choice regexp (const nil))
+  :group 'coq)
 
 ;;
 ;; prooftree customization
-- 
cgit v1.2.3