diff options
Diffstat (limited to 'lib/proof-compat.el')
-rw-r--r-- | lib/proof-compat.el | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 73522b45..4c77c34a 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -173,5 +173,14 @@ The returned value is one of the following symbols: (defun characterp (obj) (with-no-warnings (char-valid-p obj)))) + +(or (fboundp 'declare-function) +;; taken from Emacs 22.2, not present in 22.1: +(defmacro declare-function (&rest args) + "In Emacs 22, does nothing. In 23, it will suppress byte-compiler warnings. +This definition is so that packages may take advantage of the +Emacs 23 feature and still remain compatible with Emacs 22." + nil)) + ;; End of proof-compat.el (provide 'proof-compat) |