diff options
| author |  Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-12-15 16:18:33 -0500 |
|---|---|---|
| committer | Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-12-15 16:18:53 -0500 |
| commit | 7b37ce02a548eff9d97d504edaaf8075ebd236c7 (patch) | |
| tree | ac6725f6e8e24adfcdf307acdb0294ddffd82fcb /generic/proof-menu.el | |
| parent | 9a25320acf24020fc0e2b97589f9d996f3d1d4fb (diff) | |
Use cl-caddr instead of caddr
Hopefully fixes #409.
Reported-By: @lysxia
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index e43efcc0..ffd80415 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -793,7 +793,7 @@ suitable for adding to the proof assistant menu." (let* ((favs (proof-ass favourites)) (rmfavs (cl-remove-if - (lambda (f) (string-equal menuname (caddr f))) + (lambda (f) (string-equal menuname (cl-caddr f))) favs))) (unless (equal favs rmfavs) (easy-menu-remove-item proof-assistant-menu @@ -835,7 +835,7 @@ KEY is the optional key binding." ((menu-entry (proof-def-favourite command inscript menuname key t)) (favs (proof-ass favourites)) (rmfavs (cl-remove-if - (lambda (f) (string-equal menuname (caddr f))) + (lambda (f) (string-equal menuname (cl-caddr f))) favs)) (newfavs (append rmfavs |