diff options
Diffstat (limited to 'unix')
| -rw-r--r-- | unix/main.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/unix/main.c b/unix/main.c index 26b7a13683..26618af3f7 100644 --- a/unix/main.c +++ b/unix/main.c @@ -51,7 +51,6 @@ // Command line options, with their defaults STATIC bool compile_only = false; STATIC uint emit_opt = MP_EMIT_OPT_NONE; -mp_uint_t mp_verbose_flag = 0; #if MICROPY_ENABLE_GC // Heap size of GC heap (if enabled) |