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