diff --git a/ports/stm32/powerctrl.h b/ports/stm32/powerctrl.h
index 6e5f899a4c..9f223e794a 100644
--- a/ports/stm32/powerctrl.h
+++ b/ports/stm32/powerctrl.h
@@ -26,6 +26,7 @@
 #ifndef MICROPY_INCLUDED_STM32_POWERCTRL_H
 #define MICROPY_INCLUDED_STM32_POWERCTRL_H
 
+#include <stdbool.h>
 #include <stdint.h>
 
 void SystemClock_Config(void);