From 28f1ec5e4b40cb3c2dc71f53ba3a4c326fa42f1e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 22 Aug 2010 21:25:56 +0000
Subject: Change binding for coq-PrintHint as suggested in Trac #341

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

diff --git a/coq/coq.el b/coq/coq.el
index 2e6444c6..95c2cbb7 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1248,7 +1248,7 @@ be asked to the user."
 (define-key coq-keymap [(control ?b)] 'coq-About)
 (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 ?H)] 'coq-PrintHint)
 (define-key coq-keymap [(control ?l)] 'coq-LocateConstant)
 (define-key coq-keymap [(control ?n)] 'coq-LocateNotation)
 
-- 
cgit v1.2.3