From dbe7dde0311670da5a2bf21b253d04264a758e30 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 9 Dec 2014 12:27:39 +0000
Subject: make name filtering of searchabout more precise.

---
 coq/coq.el | 4 ++--
 1 file 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)
-- 
cgit v1.2.3