diff options
| -rw-r--r-- | ports/stm32/mpthreadport.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/stm32/mpthreadport.c b/ports/stm32/mpthreadport.c index 0077e1393..4e1ebf064 100644 --- a/ports/stm32/mpthreadport.c +++ b/ports/stm32/mpthreadport.c @@ -26,7 +26,7 @@ #include <stdio.h> -#include "py/mpstate.h" +#include "py/runtime.h" #include "py/gc.h" #include "py/mpthread.h" #include "gccollect.h" |