diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-05-04 12:03:05 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-05-04 12:03:05 +0200 |
commit | 65ad896aed67aa06845e0b2ac9f7f98179f6e170 (patch) | |
tree | 8f3d01ad4b5aa1fa60f57f40fa60da03d563a840 /test/regression/struct8.c | |
parent | f070949a7559675af3e551e16e5cae95af5d4285 (diff) | |
download | compcert-65ad896aed67aa06845e0b2ac9f7f98179f6e170.tar.gz compcert-65ad896aed67aa06845e0b2ac9f7f98179f6e170.zip |
Revert "Do not use the list notation `[]`"
On some versions of Coq, "nil" is of type "Rlist"...
This reverts commit f070949a7559675af3e551e16e5cae95af5d4285.
Diffstat (limited to 'test/regression/struct8.c')
0 files changed, 0 insertions, 0 deletions