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 /cparser/Parse.ml | |
| parent | 5b6027e5444dfe6a3d02673770347bb4e7fc0658 (diff) | |
| download | compcert-kvx-c7832c32253cdc2123313731c7cbbace4fc8332c.tar.gz compcert-kvx-c7832c32253cdc2123313731c7cbbace4fc8332c.zip | |
Use asprintf instead of printing to a buffer.
Diffstat (limited to 'cparser/Parse.ml')
0 files changed, 0 insertions, 0 deletions