Fix default goal selector error message.

1 files changed, 1 insertions, 1 deletions

diff --git a/proofs/goal_select.ml b/proofs/goal_select.ml
index cef3fd3f5e..955d797227 100644
--- a/proofs/goal_select.ml
+++ b/proofs/goal_select.ml
@@ -45,7 +45,7 @@ let parse_goal_selector = function
   | "!" -> SelectAlreadyFocused
   | "all" -> SelectAll
   | i ->
-      let err_msg = "The default 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 CErrors.user_err Pp.(str err_msg);