make name filtering of searchabout more precise.

1 files changed, 2 insertions, 2 deletions

diff --git a/coq/coq.el b/coq/coq.el
index c1d65594..e7cf5129 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -777,7 +777,7 @@ More precisely it executes SETCMD, then DO id and finally silently UNSETCMD."
   (concat "[ " s " ]"))
 
 (defsubst coq-put-into-brackets-remove-useless (s)
-  (concat "[ " s " -\"ind\" - \"rect\" -\"rec\" ]"))
+  (concat "[ " s " -\"_ind\" - \"_rect\" -\"_rec\" ]"))
 
 (defsubst coq-put-into-quotes (s)
   (concat "\"" s "\""))
@@ -817,7 +817,7 @@ This is specific to `coq-mode'."
   (coq-ask-do
    "SearchAbout (ex: \"eq_\" eq -bool)"
    "SearchAbout" nil 'coq-put-into-brackets-remove-useless)
-  (message "use `coq-SearchAbout-all' to see constants ending with \"ind\", \"rec\", etc"))
+  (message "use `coq-SearchAbout-all' to see constants ending with \"_ind\", \"_rec\", etc"))
 
 (defun coq-SearchAbout-all ()
   (interactive)