diff options
| -rw-r--r-- | generic/proof-compat.el | 4 |
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. |