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 /test/c/lists.c | |
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 'test/c/lists.c')
0 files changed, 0 insertions, 0 deletions