diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-08-13 16:03:39 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-08-13 16:03:39 +0000 |
commit | 88613c0f5415a0d3f2e0e0e9ff74bd32b6b4685e (patch) | |
tree | feb09242e779260042979d49ed61252745849d60 /common/Switch.v | |
parent | 16ef95d7d7df64e28f6ba4ad24457b946563bc2e (diff) | |
download | compcert-88613c0f5415a0d3f2e0e0e9ff74bd32b6b4685e.tar.gz compcert-88613c0f5415a0d3f2e0e0e9ff74bd32b6b4685e.zip |
Nicer reporting of I/O errors (e.g. "No such file").
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2564 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'common/Switch.v')
0 files changed, 0 insertions, 0 deletions