From c11367a524c9a9237c92ecfc34d75c978b9637b2 Mon Sep 17 00:00:00 2001 From: Youngjae Cho Date: Tue, 6 Dec 2022 11:33:07 +0900 Subject: [PATCH] resource-manager: add missing header Change-Id: I3c1d4fb91d0ebbf784075c5b7bb5f6e49a0cc51a Signed-off-by: Youngjae Cho --- src/resource-manager/resource-device.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/resource-manager/resource-device.c b/src/resource-manager/resource-device.c index fccc969..67cbf30 100644 --- a/src/resource-manager/resource-device.c +++ b/src/resource-manager/resource-device.c @@ -14,6 +14,7 @@ * limitations under the License. */ +#include #include #include "resource-device.h" -- 2.34.1