fe2a8332ff
Fixes build issue introduced by 6250337c9cf725238df19104f7bf801e91b56e1a Signed-off-by: Damien George <damien@micropython.org>