Index: runtime/bin/thread_pool.h |
diff --git a/runtime/bin/thread_pool.h b/runtime/bin/thread_pool.h |
index 9357ba21f60ccb0166860819b70506f1e9bfc319..75324375d5e630917072e60212205962fa38430a 100644 |
--- a/runtime/bin/thread_pool.h |
+++ b/runtime/bin/thread_pool.h |
@@ -6,7 +6,8 @@ |
#define BIN_THREAD_POOL_H_ |
#include "bin/builtin.h" |
-#include "bin/globals.h" |
+ |
+#include "platform/globals.h" |
// Declare the OS-specific types ahead of defining the generic classes. |
#if defined(TARGET_OS_LINUX) |