diff options
Diffstat (limited to 'ports/esp32/machine_timer.c')
| -rw-r--r-- | ports/esp32/machine_timer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/esp32/machine_timer.c b/ports/esp32/machine_timer.c index 278deb106..7758584a8 100644 --- a/ports/esp32/machine_timer.c +++ b/ports/esp32/machine_timer.c @@ -30,10 +30,10 @@ #include <stdint.h> #include <stdio.h> +#include "py/mphal.h" #include "py/obj.h" #include "py/runtime.h" #include "modmachine.h" -#include "mphalport.h" #include "hal/timer_hal.h" #include "hal/timer_ll.h" |