diff options
Diffstat (limited to 'ports/qemu-arm/main.c')
| -rw-r--r-- | ports/qemu-arm/main.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/ports/qemu-arm/main.c b/ports/qemu-arm/main.c index 212fd6021..025c1f17d 100644 --- a/ports/qemu-arm/main.c +++ b/ports/qemu-arm/main.c @@ -24,18 +24,13 @@ * THE SOFTWARE. */ -#include <stdint.h> #include <stdlib.h> #include <stdio.h> -#include <string.h> -#include <malloc.h> -#include "py/obj.h" #include "py/compile.h" #include "py/runtime.h" #include "py/stackctrl.h" #include "py/gc.h" -#include "py/repl.h" #include "py/mperrno.h" void do_str(const char *src, mp_parse_input_kind_t input_kind) { |