diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 18:11:55 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 18:11:55 +0000 |
commit | 36ed2e9b37a9e722191293db499b29a373cba61b (patch) | |
tree | bc3ef1924e38cbfccdba9e6e677c69d5994ee5e0 /lib/proof-compat.el | |
parent | 16d56b47f1aa03827207bf6a8b343c371dd7e445 (diff) |
Fix compile warnings
Diffstat (limited to 'lib/proof-compat.el')
-rw-r--r-- | lib/proof-compat.el | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 483e5834..12114f58 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -37,9 +37,10 @@ ;; Menu presses query this variable, but it's not bound unless ;; mode engaged. Not noticeable in normal use, but it is as soon ;; as debug-on-error is engaged. -(if (and (boundp 'carbon-emacs-package-version) - (not (boundp 'mac-key-mode))) - (setq mac-key-mode nil)) +(with-no-warnings + (if (and (boundp 'carbon-emacs-package-version) + (not (boundp 'mac-key-mode))) + (setq mac-key-mode nil))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; @@ -52,7 +53,7 @@ (defun pg-custom-undeclare-variable (symbol) "Remove a custom setting SYMBOL. Done by `makunbound' and removing all properties mentioned by custom library." - (mapcar (lambda (prop) (remprop symbol prop)) + (mapc (lambda (prop) (remprop symbol prop)) '(default standard-value force-value @@ -169,7 +170,7 @@ The returned value is one of the following symbols: (or (fboundp 'characterp) (defun characterp (obj) - (char-valid-p obj))) + (with-no-warnings (char-valid-p obj)))) ;; End of proof-compat.el (provide 'proof-compat) |