diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-07-26 15:06:11 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-07-26 15:06:11 +0200 |
commit | c7832c32253cdc2123313731c7cbbace4fc8332c (patch) | |
tree | e5581bd68a8c8219191877d22226c565c11928af /powerpc/Asmgenproof.v | |
parent | 5b6027e5444dfe6a3d02673770347bb4e7fc0658 (diff) | |
download | compcert-c7832c32253cdc2123313731c7cbbace4fc8332c.tar.gz compcert-c7832c32253cdc2123313731c7cbbace4fc8332c.zip |
Use asprintf instead of printing to a buffer.
Diffstat (limited to 'powerpc/Asmgenproof.v')
0 files changed, 0 insertions, 0 deletions