stmhal: Remove #include <stdint.h> from mpconfigport.h.

Make include dependencies neater, and adheres to the coding convention
that headers should not include headers.

1 files changed, 1 insertions, 1 deletions

diff --git a/stmhal/timer.c b/stmhal/timer.c
index e1d55e14a..e92a9988f 100644
--- a/stmhal/timer.c
+++ b/stmhal/timer.c
@@ -467,7 +467,7 @@ void timer_irq_handler(uint tim_id) {
                         // Uncaught exception; disable the callback so it doesn't run again.
                         tim->callback = mp_const_none;
                         __HAL_TIM_DISABLE_IT(&tim->tim, TIM_IT_UPDATE);
-                        printf("Uncaught exception in Timer(%lu) interrupt handler\n", tim->tim_id);
+                        printf("Uncaught exception in Timer(" UINT_FMT ") interrupt handler\n", tim->tim_id);
                         mp_obj_print_exception((mp_obj_t)nlr.ret_val);
                     }
                     gc_unlock();