diff options
Diffstat (limited to 'unix/input.c')
| -rw-r--r-- | unix/input.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/input.c b/unix/input.c index 9baa342b94..a38b63ae3c 100644 --- a/unix/input.c +++ b/unix/input.c @@ -29,10 +29,10 @@ #include <string.h> #include "py/mpstate.h" +#include "py/mphal.h" #include "input.h" #if MICROPY_USE_READLINE == 1 -#include MICROPY_HAL_H #include "lib/mp-readline/readline.h" #elif MICROPY_USE_READLINE == 2 #include <readline/readline.h> |