From 9aa3e21832122d1031975cc435e9393ebbc2cea4 Mon Sep 17 00:00:00 2001 From: Gao Date: Sun, 17 Sep 2023 01:15:15 +0800 Subject: [PATCH] Add missing header (#85) Signed-off-by: chasingegg --- thirdparty/hnswlib/hnswlib/hnswlib.h | 1 + 1 file changed, 1 insertion(+) diff --git a/thirdparty/hnswlib/hnswlib/hnswlib.h b/thirdparty/hnswlib/hnswlib/hnswlib.h index 4da2b70af..482f15459 100644 --- a/thirdparty/hnswlib/hnswlib/hnswlib.h +++ b/thirdparty/hnswlib/hnswlib/hnswlib.h @@ -129,6 +129,7 @@ AVX512Capable() { #include #include +#include #include #include