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/pg-pbrpm.el | |
parent | 9a25320acf24020fc0e2b97589f9d996f3d1d4fb (diff) |
Use cl-caddr instead of caddr
Hopefully fixes #409.
Reported-By: @lysxia
Diffstat (limited to 'generic/pg-pbrpm.el')
-rw-r--r-- | generic/pg-pbrpm.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el index 619a5d6c..bc95f2ac 100644 --- a/generic/pg-pbrpm.el +++ b/generic/pg-pbrpm.el @@ -377,7 +377,7 @@ Returns (n . s) where (while (and pos l (not found)) (setq start-goal (car l)) (setq end-goal (cadr l)) - (setq goal-name (caddr l)) + (setq goal-name (cl-caddr l)) (setq start-concl (cadddr l)) (setq hyps (car (cddddr l))) (setq l (cdr (cddddr l))) @@ -393,7 +393,7 @@ Returns (n . s) where (while (and hyps (not found)) (setq start-hyp (car hyps)) (setq start-hyp-text (cadr hyps)) - (setq end-hyp (caddr hyps)) + (setq end-hyp (cl-caddr hyps)) (setq hyp-name (cadddr hyps)) (setq hyps (cddddr hyps)) (if (and (<= start-hyp pos) (<= pos end-hyp)) |