mirror of
https://github.com/micropython/micropython.git
synced 2026-01-07 12:40:15 +01:00
Passing an mp_uint_t to a %d printf format is incorrect for builds where mp_uint_t is larger than word size (eg a nanboxing build). This patch adds some simple casting to int in these cases.
3.7 KiB
3.7 KiB