diff options
Diffstat (limited to 'stmhal/pybstdio.c')
| -rw-r--r-- | stmhal/pybstdio.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stmhal/pybstdio.c b/stmhal/pybstdio.c index 05ea06eb44..b6b5560be1 100644 --- a/stmhal/pybstdio.c +++ b/stmhal/pybstdio.c @@ -25,8 +25,7 @@ */ #include <stdio.h> - -#include <stm32f4xx_hal.h> +#include <stdint.h> #include "misc.h" #include "mpconfig.h" @@ -38,6 +37,8 @@ #include "usb.h" #include "uart.h" +#include HAL_H + // TODO make stdin, stdout and stderr writable objects so they can // be changed by Python code. |