From 286dcc9dbef0485435dd34142f781605afe5f1b2 Mon Sep 17 00:00:00 2001
From: Xuan Son Nguyen <son@huggingface.co>
Date: Thu, 5 Sep 2024 19:28:06 +0200
Subject: [PATCH] fix linux build

---
 common/common.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/common/common.h b/common/common.h
index c6f476ec3..f84948330 100644
--- a/common/common.h
+++ b/common/common.h
@@ -17,6 +17,7 @@
 #include <set>
 #include <unordered_map>
 #include <tuple>
+#include <functional>
 
 #ifdef _WIN32
 #define DIRECTORY_SEPARATOR '\\'