commit | e809cf0c2879f521078b4c9e6329390b42ecf722 | [log] [tgz] |
---|---|---|
author | Mike Vitus <vitus@google.com> | Tue Apr 03 11:06:52 2018 -0700 |
committer | Mike Vitus <vitus@google.com> | Tue Apr 03 11:14:41 2018 -0700 |
tree | 42159a4335e7e9c4c69bb3763f6d3cc36444ae4a | |
parent | e49507cbea331d1ce737e66522ea260d7a9b9939 [diff] |
Adds missing functional include in thread_pool.h Fixes a build error when building with CXX11_THREADS=ON. Change-Id: I5828dc408261c88a93745c2ade0b8da740a68e54
diff --git a/internal/ceres/thread_pool.h b/internal/ceres/thread_pool.h index d596ecd..228f344 100644 --- a/internal/ceres/thread_pool.h +++ b/internal/ceres/thread_pool.h
@@ -31,6 +31,7 @@ #ifndef CERES_INTERNAL_THREAD_POOL_H_ #define CERES_INTERNAL_THREAD_POOL_H_ +#include <functional> #include <mutex> #include <thread> #include <vector>