From 92e267ec502d018eae66f04faac0f5d57eadf572 Mon Sep 17 00:00:00 2001
From: Vijay Pai <vpai@google.com>
Date: Wed, 10 Jan 2018 00:39:06 +0000
Subject: [PATCH] Add needed header

---
 src/cpp/thread_manager/thread_manager.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/cpp/thread_manager/thread_manager.h b/src/cpp/thread_manager/thread_manager.h
index 4fa8a6c563b..c1783baa607 100644
--- a/src/cpp/thread_manager/thread_manager.h
+++ b/src/cpp/thread_manager/thread_manager.h
@@ -20,6 +20,7 @@
 #define GRPC_INTERNAL_CPP_THREAD_MANAGER_H
 
 #include <condition_variable>
+#include <functional>
 #include <list>
 #include <memory>
 #include <mutex>