diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-05-04 11:51:12 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-05-04 11:51:12 +0200 |
| commit | f070949a7559675af3e551e16e5cae95af5d4285 (patch) | |
| tree | 0093b0a2bcf427ad7e54275a54a2e99629d8d091 /aarch64 | |
| parent | 2cccb81243c5b2f45085634ffe070adc1ebb0c1b (diff) | |
| download | compcert-f070949a7559675af3e551e16e5cae95af5d4285.tar.gz compcert-f070949a7559675af3e551e16e5cae95af5d4285.zip | |
Do not use the list notation `[]`
The rest of the code base uses `nil`, so let's be consistent.
Also, this avoids depending on `Import ListNotations`.
Diffstat (limited to 'aarch64')
0 files changed, 0 insertions, 0 deletions