From 78bd357d318ec4aad20cf1b212d11cbe18c07404 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mikael=20Ronstr=C3=B6m?= <mikael@dator9>
Date: Thu, 17 Feb 2011 10:50:51 +0100
Subject: [PATCH] added interface to scheduler.h

---
 include/mysql/thread_pool_priv.h | 1 +
 1 file changed, 1 insertion(+)

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>