diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-21 13:36:21 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-21 13:36:21 +0200 |
commit | 84a96e92562461260f7f557d8b973f0f48807e78 (patch) | |
tree | f98665a9f3580c3a6c0b19cc9e5b51f0d30f11d2 /cparser/Transform.mli | |
parent | 832685e5dc7c17c434146d353b60c2158e3edd11 (diff) | |
download | compcert-84a96e92562461260f7f557d8b973f0f48807e78.tar.gz compcert-84a96e92562461260f7f557d8b973f0f48807e78.zip |
Use Cerrors for error reporting instead of rolling our own reporting in C2C.
Diffstat (limited to 'cparser/Transform.mli')
0 files changed, 0 insertions, 0 deletions