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 651c3836c..3e4358672 100644 --- a/unix/main.c +++ b/unix/main.c @@ -45,7 +45,7 @@ #include "py/gc.h" #include "py/stackctrl.h" #include "genhdr/mpversion.h" -#include "unix_mphal.h" +#include MICROPY_HAL_H #include "input.h" // Command line options, with their defaults |