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 /flocq/Calc/Bracket.v | |
parent | b9dfe18fb99d9fd0e8918c160ee297755c5fca59 (diff) | |
download | compcert-a29b0c1bc26a6e2a37fa431e9347ed25c1bd1c2b.tar.gz compcert-a29b0c1bc26a6e2a37fa431e9347ed25c1bd1c2b.zip |
Maps.v: transparency of Node
Add one more `Local Transparent Node` to ensure compatibility with Coq < 8.12
Diffstat (limited to 'flocq/Calc/Bracket.v')
0 files changed, 0 insertions, 0 deletions