diff options
Diffstat (limited to 'server-tools/instance-manager/instance_map.cc')
| -rw-r--r-- | server-tools/instance-manager/instance_map.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/server-tools/instance-manager/instance_map.cc b/server-tools/instance-manager/instance_map.cc index d19d42662e5..3e76c24a9a1 100644 --- a/server-tools/instance-manager/instance_map.cc +++ b/server-tools/instance-manager/instance_map.cc @@ -19,10 +19,11 @@ #endif #include "instance_map.h" + #include "buffer.h" #include "instance.h" + #include <m_ctype.h> -#include <my_sys.h> #include <mysql_com.h> #include <m_string.h> |