From 44e31b7234b8769af2a9c353542e03579b3cbcaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Jul 2002 01:11:14 +0000
Subject: Trivially simulate events-to-keys

---
 generic/proof-compat.el | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index ac4b74bb..3ce175e3 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -79,6 +79,10 @@ that use a window system such as X, and false for text-only terminals."
 (unless (fboundp 'int-to-char) (defalias 'int-to-char 'identity))
 (unless (fboundp 'char-to-int) (defalias 'char-to-int 'identity))
 
+;;; Missing function, but anyway Emacs has no datatype for events...
+
+(unless (fboundp 'events-to-keys)
+  (defalias 'events-to-keys 'identity))
 
 ;; completion not autoloaded in GNU 20.6.1; we must call 
 ;; dynamic-completion-mode after loading it.
-- 
cgit v1.2.3