diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-12-21 01:22:46 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 15:31:17 +0100 |
commit | 88bf09d3673dbda96c216a3e037d503a9664795e (patch) | |
tree | 46765f1179a32624794ef8c72ff2f78ea2a71f4c /backend/NeedDomain.v | |
parent | 2ba24b0fcbda5b2478baa151eab10397ab0b55ce (diff) | |
download | compcert-88bf09d3673dbda96c216a3e037d503a9664795e.tar.gz compcert-88bf09d3673dbda96c216a3e037d503a9664795e.zip |
Some backward compatible Ltac fixes, necessary for 8.6.
Diffstat (limited to 'backend/NeedDomain.v')
0 files changed, 0 insertions, 0 deletions