diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-07-22 10:09:39 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-07-22 10:09:39 +0200 |
commit | 5b13c78e65a282bde23517f2da4059beb551dd9e (patch) | |
tree | 399f644272425be0b68360d63ae1ebe9de13972e /backend/SelectLongproof.v | |
parent | 7aa563e8d3730e37f42979989f2fa87c940a4d4b (diff) | |
download | compcert-5b13c78e65a282bde23517f2da4059beb551dd9e.tar.gz compcert-5b13c78e65a282bde23517f2da4059beb551dd9e.zip |
Nicer error message for redefinitions with incompatible type
Diffstat (limited to 'backend/SelectLongproof.v')
0 files changed, 0 insertions, 0 deletions