1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq.el b/coq/coq.el
index d89018ea..77af9b9e 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1262,7 +1262,7 @@ flag Printing All set."
 
 
 (defpacustom hide-additional-subgoals nil
-  "Only show the current goal, hiding additional subgoals."
+  "Show all subgoals if off, show only the current goal if on."
   :type 'boolean
   :safe 'booleanp
   :eval (coq-hide-additional-subgoals-switch))