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 | |
| 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')
0 files changed, 0 insertions, 0 deletions