diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-05-07 15:59:53 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-05-07 18:11:03 +0200 |
| commit | a4c98b19ccf5a72bfe551fd5b2f8689442a661a6 (patch) | |
| tree | a5bf0b8044202c91dd408abd098064b7f8bd6c2c /cparser/Parser.vy | |
| parent | 8610d8faad033d957509ceaa2b5c16b5a466e5a9 (diff) | |
| download | compcert-a4c98b19ccf5a72bfe551fd5b2f8689442a661a6.tar.gz compcert-a4c98b19ccf5a72bfe551fd5b2f8689442a661a6.zip | |
Completely avoid line breaks in types when printing error messages
The `pp_indication` optional argument that governs formatting boxes
in types was not propagated recursively, causing boxes to appear.
Diffstat (limited to 'cparser/Parser.vy')
0 files changed, 0 insertions, 0 deletions