tree 42159a4335e7e9c4c69bb3763f6d3cc36444ae4a
parent e49507cbea331d1ce737e66522ea260d7a9b9939
author Mike Vitus <vitus@google.com> 1522778812 -0700
committer Mike Vitus <vitus@google.com> 1522779281 -0700

Adds missing functional include in thread_pool.h

Fixes a build error when building with CXX11_THREADS=ON.

Change-Id: I5828dc408261c88a93745c2ade0b8da740a68e54