diff options
Diffstat (limited to 'lib/mp-readline/readline.c')
| -rw-r--r-- | lib/mp-readline/readline.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/mp-readline/readline.c b/lib/mp-readline/readline.c index 53376708f8..303d95b150 100644 --- a/lib/mp-readline/readline.c +++ b/lib/mp-readline/readline.c @@ -30,7 +30,9 @@ #include "py/mpstate.h" #include "readline.h" +#ifdef MICROPY_HAL_H #include MICROPY_HAL_H +#endif #if 0 // print debugging info #define DEBUG_PRINT (1) |