diff options
Diffstat (limited to 'ports/unix/main.c')
| -rw-r--r-- | ports/unix/main.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ports/unix/main.c b/ports/unix/main.c index e861d7f112..e1cd33fc1e 100644 --- a/ports/unix/main.c +++ b/ports/unix/main.c @@ -37,8 +37,6 @@ #include <errno.h> #include <signal.h> -#include "py/mpstate.h" -#include "py/nlr.h" #include "py/compile.h" #include "py/runtime.h" #include "py/builtin.h" |