Index: runtime/bin/thread_pool_linux.h |
diff --git a/runtime/bin/thread_pool_linux.h b/runtime/bin/thread_pool_linux.h |
index d7a18b726861efd141d787031513b55d4e4ebcbf..4b3a7449aef0d81e9a34e3ec964f577146cd4b8d 100644 |
--- a/runtime/bin/thread_pool_linux.h |
+++ b/runtime/bin/thread_pool_linux.h |
@@ -7,7 +7,7 @@ |
#include <pthread.h> |
-#include "vm/globals.h" |
+#include "platform/globals.h" |
class TaskQueueData { |