From 5c35aa83409ccc0d04926f109de3ac5a172d1da7 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 11 Nov 2009 01:24:11 +0000
Subject: Fix.

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

diff --git a/coq/coq.el b/coq/coq.el
index 073c2518..b86707bd 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1212,7 +1212,7 @@ be asked to the user."
 (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?p)] 'coq-Print)
 (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?o)] 'coq-SearchIsos)
 (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?b)] 'coq-About)
-(define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?a)] 'coq-searchabout 'coq-About)
+(define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?a)] 'coq-searchabout)
 ; window auto-resize makes this bug sometimes. Too bad!.
 ;(define-key coq-response-mode-map [(control ?c)(control ?a)(control ?c)] 'coq-Check)
 
-- 
cgit v1.2.3