diff options
Diffstat (limited to 'unix/main.c')
| -rw-r--r-- | unix/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/main.c b/unix/main.c index eed7065bf2..1dc54198e5 100644 --- a/unix/main.c +++ b/unix/main.c @@ -44,8 +44,8 @@ #include "py/repl.h" #include "py/gc.h" #include "py/stackctrl.h" +#include "py/mphal.h" #include "genhdr/mpversion.h" -#include MICROPY_HAL_H #include "input.h" // Command line options, with their defaults |