diff options
Diffstat (limited to 'unix/main.c')
-rw-r--r-- | unix/main.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/unix/main.c b/unix/main.c index 26618af3f7..741568f753 100644 --- a/unix/main.c +++ b/unix/main.c @@ -574,14 +574,6 @@ uint mp_import_stat(const char *path) { return MP_IMPORT_STAT_NO_EXIST; } -int DEBUG_printf(const char *fmt, ...) { - va_list ap; - va_start(ap, fmt); - int ret = mp_vprintf(&mp_stderr_print, fmt, ap); - va_end(ap); - return ret; -} - void nlr_jump_fail(void *val) { printf("FATAL: uncaught NLR %p\n", val); exit(1); |