From eb3417e027d25072bdb89245af4ee460ef1cddc5 Mon Sep 17 00:00:00 2001 From: lizzie Date: Mon, 15 Jun 2026 18:49:24 +0000 Subject: [PATCH] inc --- src/core/device_memory_manager.inc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/core/device_memory_manager.inc b/src/core/device_memory_manager.inc index b61583d879..d532c7a307 100644 --- a/src/core/device_memory_manager.inc +++ b/src/core/device_memory_manager.inc @@ -11,6 +11,8 @@ #include #include +#include + #include "common/address_space.h" #include "common/address_space.inc" #include "common/alignment.h"