1 files changed, 2 insertions, 1 deletions
diff --git a/stmhal/extint.c b/stmhal/extint.c
index 4fab7c5f2c..a67af65b05 100644
--- a/stmhal/extint.c
+++ b/stmhal/extint.c
@@ -37,6 +37,7 @@
 #include "gc.h"
 #include "obj.h"
 #include "runtime.h"
+#include "pfenv.h"
 
 #include "pin.h"
 #include "extint.h"
@@ -373,7 +374,7 @@ void Handle_EXTI_Irq(uint32_t line) {
                     v->callback_obj = mp_const_none;
                     extint_disable(line);
                     printf("Uncaught exception in ExtInt interrupt handler line %lu\n", line);
-                    mp_obj_print_exception((mp_obj_t)nlr.ret_val);
+                    mp_obj_print_exception(printf_wrapper, NULL, (mp_obj_t)nlr.ret_val);
                 }
                 gc_unlock();
             }