diff options
author | Vijay Pai <vpai@google.com> | 2018-01-10 00:39:06 +0000 |
---|---|---|
committer | Vijay Pai <vpai@google.com> | 2018-01-10 18:45:08 +0000 |
commit | 92e267ec502d018eae66f04faac0f5d57eadf572 (patch) | |
tree | 2e68d06812d541d9b3bac97aefddb21671e39afc /src/cpp/thread_manager | |
parent | 5dd32268be62114e8a7c81d60c0dc2633fb83081 (diff) |
Add needed header
Diffstat (limited to 'src/cpp/thread_manager')
-rw-r--r-- | src/cpp/thread_manager/thread_manager.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cpp/thread_manager/thread_manager.h b/src/cpp/thread_manager/thread_manager.h index 4fa8a6c563..c1783baa60 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> |