diff options
author | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-07-04 13:52:54 +0000 |
---|---|---|
committer | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-07-04 13:52:54 +0000 |
commit | 7155843b75086379eeaeaa6c89c824aebd58104e (patch) | |
tree | e034c4782fbab1ca3a7dc9ce15efce6dd20aa37c /common/Errors.v | |
parent | 2afca3f850d28cd67fd30fe3467d934ebe9dc9f5 (diff) | |
download | compcert-7155843b75086379eeaeaa6c89c824aebd58104e.tar.gz compcert-7155843b75086379eeaeaa6c89c824aebd58104e.zip |
checklink: better diagnosis
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1954 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'common/Errors.v')
0 files changed, 0 insertions, 0 deletions