diff options
Diffstat (limited to 'ports/esp8266/modmachine.c')
| -rw-r--r-- | ports/esp8266/modmachine.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/esp8266/modmachine.c b/ports/esp8266/modmachine.c index 86c1d728d5..2b1f0f0835 100644 --- a/ports/esp8266/modmachine.c +++ b/ports/esp8266/modmachine.c @@ -30,7 +30,7 @@ #include "py/obj.h" #include "py/runtime.h" -#include "lib/utils/pyexec.h" +#include "shared/runtime/pyexec.h" // This needs to be set before we include the RTOS headers #define USE_US_TIMER 1 |