1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-24 11:21:21 +03:00

After-merge fix for bug#14151.

This commit is contained in:
joerg@trift-lap.none
2007-07-19 18:05:55 +02:00
parent 7b703eaa12
commit 518992b829

View File

@@ -36,7 +36,7 @@
#include "mysql_priv.h"
#include <errno.h>
#include <m_ctype.h>
#include "md5.h"
#include "my_md5.h"
#ifdef WITH_PARTITION_STORAGE_ENGINE
#include "ha_partition.h"