diff options
Diffstat (limited to 'cc3200/mptask.c')
| -rw-r--r-- | cc3200/mptask.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cc3200/mptask.c b/cc3200/mptask.c index ec904f833d..7346ddaf29 100644 --- a/cc3200/mptask.c +++ b/cc3200/mptask.c @@ -28,10 +28,10 @@ #include <stdint.h> #include "py/mpconfig.h" -#include MICROPY_HAL_H #include "py/obj.h" #include "py/runtime.h" #include "py/gc.h" +#include "py/mphal.h" #include "inc/hw_memmap.h" #include "inc/hw_types.h" #include "inc/hw_ints.h" |