diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-06 13:26:11 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-06 13:27:40 +0100 |
| commit | 76cb39f790fc3bf4d1e2fae99cda7eeae8bbbbf2 (patch) | |
| tree | a623d9b17903dc9071cc80dce22495b44d9123ac /cparser/Cutil.mli | |
| parent | fa8cd845f95041ab3f25c208b8521d3c89e3e8b1 (diff) | |
| download | compcert-76cb39f790fc3bf4d1e2fae99cda7eeae8bbbbf2.tar.gz compcert-76cb39f790fc3bf4d1e2fae99cda7eeae8bbbbf2.zip | |
Added printing functions for debug annotations.
Instead of printing <unknown builtin> we now print the debug
annotations.
Fix 17581.
Diffstat (limited to 'cparser/Cutil.mli')
0 files changed, 0 insertions, 0 deletions