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 /coq | |
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 'coq')
0 files changed, 0 insertions, 0 deletions