From 6fa9fd176816617efc404e8b8a890abd036f3a01 Mon Sep 17 00:00:00 2001
From: Peter Barker <pbarker@barker.dropbear.id.au>
Date: Tue, 1 Mar 2022 12:19:08 +1100
Subject: [PATCH] AP_EFI: tidy includes

---
 libraries/AP_EFI/AP_EFI_Backend.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/AP_EFI/AP_EFI_Backend.h b/libraries/AP_EFI/AP_EFI_Backend.h
index 2f48a4694e..b23ab824d6 100644
--- a/libraries/AP_EFI/AP_EFI_Backend.h
+++ b/libraries/AP_EFI/AP_EFI_Backend.h
@@ -16,7 +16,7 @@
 
 #include "AP_EFI.h"
 #include "AP_EFI_State.h"
-#include <AP_HAL/AP_HAL.h>
+#include <AP_HAL/Semaphores.h>
 
 class AP_EFI; //forward declaration