Trivially simulate events-to-keys

1 files changed, 4 insertions, 0 deletions

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.