diff options
Diffstat (limited to 'stmhal/readline.c')
| -rw-r--r-- | stmhal/readline.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stmhal/readline.c b/stmhal/readline.c index 0e7ed2d644..0703dcf4ea 100644 --- a/stmhal/readline.c +++ b/stmhal/readline.c @@ -25,15 +25,15 @@ */ #include <stdio.h> +#include <stdint.h> #include <string.h> -#include <stm32f4xx_hal.h> - #include "mpconfig.h" #include "misc.h" #include "qstr.h" #include "misc.h" #include "obj.h" +#include MICROPY_HAL_H #include "pybstdio.h" #include "readline.h" #include "usb.h" |