diff --git a/include/mysql/thread_pool_priv.h b/include/mysql/thread_pool_priv.h
index 175313da78e..61261f7505e 100644
--- a/include/mysql/thread_pool_priv.h
+++ b/include/mysql/thread_pool_priv.h
@@ -29,6 +29,7 @@
 */
 #include <mysqld_error.h> /* To get ER_ERROR_ON_READ */
 #define MYSQL_SERVER 1
+#include <scheduler.h>
 #include <debug_sync.h>
 #include <sql_profile.h>
 #include <table.h>