From f3889db265ea50fef35596a4bd49f15661590093 Mon Sep 17 00:00:00 2001
From: Damien George <damien@micropython.org>
Date: Mon, 4 Dec 2023 22:19:35 +1100
Subject: [PATCH] stm32/usbd_cdc_interface: Include header to get
 machine_bootloader decl.

This was broken by commit 48b5a7b06079f0d0aa4780016f015ff023875680.

Signed-off-by: Damien George <damien@micropython.org>
---
 ports/stm32/usbd_cdc_interface.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/stm32/usbd_cdc_interface.c b/ports/stm32/usbd_cdc_interface.c
index f25dcc380..20d8b3036 100644
--- a/ports/stm32/usbd_cdc_interface.c
+++ b/ports/stm32/usbd_cdc_interface.c
@@ -44,9 +44,9 @@
 
 #include "py/runtime.h"
 #include "py/mphal.h"
+#include "extmod/modmachine.h"
 #include "shared/runtime/interrupt_char.h"
 #include "irq.h"
-#include "modmachine.h"
 
 #if MICROPY_HW_ENABLE_USB
 
-- 
GitLab