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 <algorithm>
 #include <vector>
 
+#include <boost/container/static_vector.hpp>
+
 #include "common/address_space.h"
 #include "common/address_space.inc"
 #include "common/alignment.h"