diff options
author | 2018-03-12 14:54:55 -0700 | |
---|---|---|
committer | 2018-03-12 14:54:55 -0700 | |
commit | 2a03c876ec4dc30bf118dd8776c2b8ec3b960deb (patch) | |
tree | e8bb77016c216753f406d9227bda2749706fb35c /test/cpp/thread_manager/thread_manager_test.cc | |
parent | 60aa27884f16e009502239466eb834cf38b643b4 (diff) |
Fix one more file
Diffstat (limited to 'test/cpp/thread_manager/thread_manager_test.cc')
-rw-r--r-- | test/cpp/thread_manager/thread_manager_test.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/cpp/thread_manager/thread_manager_test.cc b/test/cpp/thread_manager/thread_manager_test.cc index fad52cf7fa..7a95a9f17d 100644 --- a/test/cpp/thread_manager/thread_manager_test.cc +++ b/test/cpp/thread_manager/thread_manager_test.cc @@ -16,6 +16,7 @@ *is % allowed in string */ +#include <inttypes.h> #include <ctime> #include <memory> #include <string> |