summaryrefslogtreecommitdiff
path: root/stdlib/printf.mli
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2016-01-30 10:55:07 +0100
committerDamien Doligez <damien.doligez@inria.fr>2016-01-30 11:20:25 +0100
commit0390a40593347fad6de33373b37d49a15ec73e77 (patch)
treeade3745fa07994fc17c081093305cd2f2e63e4a6 /stdlib/printf.mli
parentf9b8bc6d7caef46f249bada32099854d87b3e644 (diff)
downloadocaml-fix-32bit-warning.tar.gz
fix commit a80d536fix-32bit-warning
We cannot use ARCH_INTNAT_PRINTF_FORMAT because it isn't guaranteed to match values of type size_t. Since this is debugging code, we go for the simple solution and cast to long.
Diffstat (limited to 'stdlib/printf.mli')
0 files changed, 0 insertions, 0 deletions