diff options
Diffstat (limited to 'stmhal/readline.c')
| -rw-r--r-- | stmhal/readline.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stmhal/readline.c b/stmhal/readline.c index d40bd4219b..f75734396d 100644 --- a/stmhal/readline.c +++ b/stmhal/readline.c @@ -25,10 +25,9 @@ */ #include <stdio.h> +#include <stdint.h> #include <string.h> -#include <stm32f4xx_hal.h> - #include "misc.h" #include "mpconfig.h" #include "qstr.h" @@ -38,6 +37,8 @@ #include "readline.h" #include "usb.h" +#include HAL_H + #if 0 // print debugging info #define DEBUG_PRINT (1) #define DEBUG_printf printf |