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 /hol-light | |
| parent | 9a25320acf24020fc0e2b97589f9d996f3d1d4fb (diff) | |
Use cl-caddr instead of caddr
Hopefully fixes #409.
Reported-By: @lysxia
Diffstat (limited to 'hol-light')
0 files changed, 0 insertions, 0 deletions