1 files changed, 1 insertions, 1 deletions
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)