diff options
-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 26773e95d1..26b7a13683 100644 --- a/unix/main.c +++ b/unix/main.c @@ -85,7 +85,6 @@ STATIC int handle_uncaught_exception(mp_obj_t exc) { // Report all other exceptions mp_obj_print_exception(&mp_stderr_print, exc); - mp_printf(&mp_stderr_print, exc); return 1; } |