From 796f84cd95b722573f7f62dd1d20607b2b35a73e Mon Sep 17 00:00:00 2001
From: Georgi Gerganov <ggerganov@gmail.com>
Date: Wed, 13 Sep 2023 13:35:42 +0300
Subject: [PATCH] whisper : add <functional> header

---
 whisper.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/whisper.cpp b/whisper.cpp
index 8cada57d..8f4fd714 100644
--- a/whisper.cpp
+++ b/whisper.cpp
@@ -29,6 +29,7 @@
 #include <vector>
 #include <regex>
 #include <random>
+#include <functional>
 
 #if defined(_MSC_VER)
 #pragma warning(disable: 4244 4267) // possible loss of data