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