diff options
Diffstat (limited to 'ports/esp8266/esp_init_data.c')
| -rw-r--r-- | ports/esp8266/esp_init_data.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/esp8266/esp_init_data.c b/ports/esp8266/esp_init_data.c index c369ed58f5..a3dd6ffed1 100644 --- a/ports/esp8266/esp_init_data.c +++ b/ports/esp8266/esp_init_data.c @@ -30,7 +30,7 @@ #include "user_interface.h" #include "extmod/misc.h" -NORETURN void call_user_start(void); +MP_NORETURN void call_user_start(void); void ets_printf(const char *fmt, ...); extern char flashchip; |