8a0353525f
The mp_plat_print output is already being used by the subsequent call to mp_obj_print_exception(). And this eliminates all references to printf for this port (at least in non-debug builds). Signed-off-by: Damien George <damien@micropython.org>