diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/mp-readline/readline.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/mp-readline/readline.c b/lib/mp-readline/readline.c index 68e0e2474b..b7c64aec3c 100644 --- a/lib/mp-readline/readline.c +++ b/lib/mp-readline/readline.c @@ -30,10 +30,8 @@ #include "py/mpstate.h" #include "py/repl.h" +#include "py/mphal.h" #include "readline.h" -#ifdef MICROPY_HAL_H -#include MICROPY_HAL_H -#endif #if 0 // print debugging info #define DEBUG_PRINT (1) |