From 23f05bb0f2722b2d871430ea2348a73a8b1ad3f8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 17 Aug 2009 16:17:15 +0000
Subject: Fix proof-next-error key binding

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index fad43ef2..977b5ccd 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -2450,7 +2450,7 @@ the current restriction, and must return the final value of (point-max).
   :group 'proof-general-internals)
 
 (defcustom proof-universal-keys
-  '(([(control c) \`] . proof-next-error)  ; ("`" . proof-next-error)
+  '(([(control c) ?`] . proof-next-error)  ; ("`" . proof-next-error)
     ([(control c) (control c)]  . proof-interrupt-process)
     ([(control c) (control n)]  . proof-assert-next-command-interactive)
     ([(control c) (control u)]  . proof-undo-last-successful-command)
-- 
cgit v1.2.3