diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-09 15:56:36 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-09 15:56:36 +0100 |
| commit | 1269548f231e839da9e53647cac3b3efd1a9a389 (patch) | |
| tree | 9ffb0c20ff853cf069ff21cd5e4e867bb98b06af /Changelog | |
| parent | 32205e08619fa8fce63caaf46a289d1868982a0a (diff) | |
| download | compcert-kvx-1269548f231e839da9e53647cac3b3efd1a9a389.tar.gz compcert-kvx-1269548f231e839da9e53647cac3b3efd1a9a389.zip | |
Use Printf.sprintf instead of Format.sprintf when possible
Minor performance tweak. Printf is more efficient for plain formats involving no boxes.
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions