From da33e3a1fbf241ed3cae9dff44b8aee438a0f60d Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 23 Apr 2007 08:59:02 +0000
Subject: Fixing bug 110 for SearchRewrite en SearchAbout coq commends.

---
 coq/coq.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 1d75b579..2e887af3 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -674,11 +674,11 @@ This is specific to `coq-mode'."
 
 (defun coq-SearchRewrite ()
   (interactive)
-  (coq-ask-do "Search Rewrite" "Search Rewrite" nil))
+  (coq-ask-do "Search Rewrite" "SearchRewrite" nil))
 
 (defun coq-SearchAbout ()
   (interactive)
-  (coq-ask-do "Search About" "Search About" nil))
+  (coq-ask-do "Search About" "SearchAbout" nil))
 
 (defun coq-Print () "Ask for an ident and print the corresponding term."
   (interactive)
-- 
cgit v1.2.3