From 0d028f1de3bfc7210ecfb8c9c191c613f49ff0a9 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 10 Nov 2009 21:52:43 +0000
Subject: fix

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

diff --git a/coq/coq.el b/coq/coq.el
index 685a85ce..073c2518 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1214,8 +1214,7 @@ be asked to the user."
 (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)
 ; window auto-resize makes this bug sometimes. Too bad!.
-k)
-;(define-key coq-response-mode-map [(control ?c)(control ?a)(control ?c)] 'coq-C
+;(define-key coq-response-mode-map [(control ?c)(control ?a)(control ?c)] 'coq-Check)
 
 ;;;;;;;;;;;;;;;;;;;;;;;;
 ;; error handling
-- 
cgit v1.2.3