From 7e3a6a9ade7bbde17ba15c13764ecbe019d356ca Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 20 Nov 2009 13:53:31 +0000
Subject: Small Fix (again).

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index e5becd80..0101ce04 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1201,7 +1201,7 @@ be asked to the user."
 
 (define-key coq-keymap [(control ?p)] 'coq-Print)
 (define-key coq-keymap [(control ?b)] 'coq-About)
-(define-key coq-keymap [(control ?a)] 'coq-searchAbout)
+(define-key coq-keymap [(control ?a)] 'coq-SearchAbout)
 (define-key coq-keymap [(control ?c)] 'coq-Check)
 (define-key coq-keymap [(control ?h)] 'coq-PrintHint)
 (define-key coq-keymap [(control ?l)] 'coq-LocateConstant)
-- 
cgit v1.2.3