diff options
Diffstat (limited to 'cc3200/mptask.c')
| -rw-r--r-- | cc3200/mptask.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/cc3200/mptask.c b/cc3200/mptask.c index 2213943e5..d9c0ed8f7 100644 --- a/cc3200/mptask.c +++ b/cc3200/mptask.c @@ -26,7 +26,6 @@ */ #include <stdint.h> -#include <std.h> #include "py/mpconfig.h" #include MICROPY_HAL_H @@ -245,7 +244,7 @@ soft_reset_exit: // soft reset pybsleep_signal_soft_reset(); - printf("PYB: soft reboot\n"); + mp_printf(&mp_plat_print, "PYB: soft reboot\n"); sflash_disk_flush(); |