From 691ec1bf304a157ba02023a59eaf10f1fe8931e0 Mon Sep 17 00:00:00 2001 From: Jaepil Jeong Date: Thu, 7 Dec 2023 12:11:01 +0900 Subject: [PATCH] Add missing header --- faiss/utils/WorkerThread.h | 1 + 1 file changed, 1 insertion(+) diff --git a/faiss/utils/WorkerThread.h b/faiss/utils/WorkerThread.h index 72529be0a3..3f2377eba2 100644 --- a/faiss/utils/WorkerThread.h +++ b/faiss/utils/WorkerThread.h @@ -9,6 +9,7 @@ #include #include +#include #include #include