diff options
author | Eugene Zhulenev <ezhulenev@google.com> | 2019-08-30 14:51:17 -0700 |
---|---|---|
committer | Eugene Zhulenev <ezhulenev@google.com> | 2019-08-30 14:51:17 -0700 |
commit | 619cea94916e7531a839ee0ff657714857921db8 (patch) | |
tree | c4df4e13efa0322a28dc2bb7f68e4d19b058db2a /unsupported/Eigen/CXX11/ThreadPool | |
parent | 66665e7e76d2ad5aa37775b3777e9a53c6d1c18c (diff) |
Revert accidentally removed <memory> header from ThreadPool
Diffstat (limited to 'unsupported/Eigen/CXX11/ThreadPool')
-rw-r--r-- | unsupported/Eigen/CXX11/ThreadPool | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/unsupported/Eigen/CXX11/ThreadPool b/unsupported/Eigen/CXX11/ThreadPool index 613fdb57a..7a795da3d 100644 --- a/unsupported/Eigen/CXX11/ThreadPool +++ b/unsupported/Eigen/CXX11/ThreadPool @@ -43,6 +43,7 @@ #include <mutex> #include <thread> #include <functional> +#include <memory> #include <utility> #include "src/util/CXX11Meta.h" #include "src/util/MaxSizeVector.h" |