diff options
| author | David Aspinall | 2009-08-28 17:19:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-28 17:19:10 +0000 |
| commit | 141578789ed742060d8915a28f343e080c5eee95 (patch) | |
| tree | 9ae7049627b272484fa04b38179bdf5e1db8c351 /generic/proof-toolbar.el | |
| parent | f9edafd5b576460b92ff4dd493f7aec34a769c86 (diff) | |
Fix compile warnings
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 1807f691..1acc62e5 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -100,7 +100,7 @@ to the default toolbar." (unless proof-toolbar-map (setq proof-toolbar-map (make-sparse-keymap)) (add-to-list 'image-load-path proof-images-directory) ; rude? - (mapcar 'proof-toolbar-make-icon (proof-ass toolbar-entries)) + (mapc 'proof-toolbar-make-icon (proof-ass toolbar-entries)) (proof-toolbar-make-toolbar-items proof-toolbar-map (proof-ass toolbar-entries))) (when proof-toolbar-enable |