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 /x86/SelectLong.vp | |
parent | 32205e08619fa8fce63caaf46a289d1868982a0a (diff) | |
download | compcert-1269548f231e839da9e53647cac3b3efd1a9a389.tar.gz compcert-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 'x86/SelectLong.vp')
0 files changed, 0 insertions, 0 deletions