diff options
Diffstat (limited to 'ports/stm32/pendsv.c')
| -rw-r--r-- | ports/stm32/pendsv.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/stm32/pendsv.c b/ports/stm32/pendsv.c index c5b2fcf92a..d4c4496f1b 100644 --- a/ports/stm32/pendsv.c +++ b/ports/stm32/pendsv.c @@ -27,7 +27,7 @@ #include <stdlib.h> #include "py/runtime.h" -#include "lib/utils/interrupt_char.h" +#include "shared/runtime/interrupt_char.h" #include "pendsv.h" #include "irq.h" |