another hide additional subgoals fix

1 files 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