diff --git a/firmware/hw_layer/digital_input/digital_input_exti.cpp b/firmware/hw_layer/digital_input/digital_input_exti.cpp index bbbee970ba..4c27b5e597 100644 --- a/firmware/hw_layer/digital_input/digital_input_exti.cpp +++ b/firmware/hw_layer/digital_input/digital_input_exti.cpp @@ -11,6 +11,7 @@ #include "digital_input_exti.h" #include "efi_gpio.h" #include "error_handling.h" +#include "pin_repository.h" /** * EXTI is a funny thing: you can only use same pin on one port. For example, you can use