Add documentation for goal selectors.

1 files changed, 1 insertions, 1 deletions

diff --git a/proofs/proof_global.ml b/proofs/proof_global.ml
index be353b10a..61fe34750 100644
--- a/proofs/proof_global.ml
+++ b/proofs/proof_global.ml
@@ -678,7 +678,7 @@ let print_goal_selector = function
 let parse_goal_selector = function
   | "all" -> Vernacexpr.SelectAll
   | i ->
-      let err_msg = "A selector must be \"all\" or a natural number." in
+      let err_msg = "The default selector must be \"all\" or a natural number." in
       begin try
               let i = int_of_string i in
               if i < 0 then Errors.error err_msg;