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 /test/c | |
| parent | 7aa563e8d3730e37f42979989f2fa87c940a4d4b (diff) | |
| download | compcert-5b13c78e65a282bde23517f2da4059beb551dd9e.tar.gz compcert-5b13c78e65a282bde23517f2da4059beb551dd9e.zip | |
Nicer error message for redefinitions with incompatible type
Diffstat (limited to 'test/c')
0 files changed, 0 insertions, 0 deletions