Add missing header (#85)

Signed-off-by: chasingegg <[email protected]>
zilliztech · Sep 16, 2023 · 9aa3e21 · 9aa3e21
1 parent 0e9b9e8
commit 9aa3e21
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/thirdparty/hnswlib/hnswlib/hnswlib.h b/thirdparty/hnswlib/hnswlib/hnswlib.h
@@ -129,6 +129,7 @@ AVX512Capable() {
 
 #include <fstream>
 #include <iostream>
+#include <optional>
 #include <queue>
 #include <vector>