diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-11-16 10:23:56 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-11-16 10:23:56 +0100 |
| commit | a29b0c1bc26a6e2a37fa431e9347ed25c1bd1c2b (patch) | |
| tree | 0c9491b868e83337aaec604c07edd354b9c67ca0 /Changelog | |
| parent | b9dfe18fb99d9fd0e8918c160ee297755c5fca59 (diff) | |
| download | compcert-kvx-a29b0c1bc26a6e2a37fa431e9347ed25c1bd1c2b.tar.gz compcert-kvx-a29b0c1bc26a6e2a37fa431e9347ed25c1bd1c2b.zip | |
Maps.v: transparency of Node
Add one more `Local Transparent Node` to ensure compatibility with Coq < 8.12
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions