diff options
Diffstat (limited to 'extmod/lwip-include')
| -rw-r--r-- | extmod/lwip-include/lwipopts.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extmod/lwip-include/lwipopts.h b/extmod/lwip-include/lwipopts.h index a11bac935a..e4a33b2381 100644 --- a/extmod/lwip-include/lwipopts.h +++ b/extmod/lwip-include/lwipopts.h @@ -3,7 +3,7 @@ #include <py/mpconfig.h> #include <py/misc.h> -#include MICROPY_HAL_H +#include <py/mphal.h> // We're running without an OS for this port. We don't provide any services except light protection. #define NO_SYS 1 |