diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-17 19:22:50 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-17 19:23:05 +0200 |
commit | fcb7f528c5540d97803a4784234b3aa9c9ebb854 (patch) | |
tree | 6bd41fb9223e1c073976017855fb18b9dc67dbc8 /backend/Renumberproof.v | |
parent | 7a5aef7aa4b669a722ecce3da6e7f7c646a392cc (diff) | |
download | compcert-fcb7f528c5540d97803a4784234b3aa9c9ebb854.tar.gz compcert-fcb7f528c5540d97803a4784234b3aa9c9ebb854.zip |
Typo in Ctyping entry
Diffstat (limited to 'backend/Renumberproof.v')
0 files changed, 0 insertions, 0 deletions