From 619cea94916e7531a839ee0ff657714857921db8 Mon Sep 17 00:00:00 2001
From: Eugene Zhulenev <ezhulenev@google.com>
Date: Fri, 30 Aug 2019 14:51:17 -0700
Subject: Revert accidentally removed <memory> header from ThreadPool

---
 unsupported/Eigen/CXX11/ThreadPool | 1 +
 1 file changed, 1 insertion(+)

(limited to 'unsupported/Eigen/CXX11/ThreadPool')

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"
-- 
cgit v1.2.3