1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

InnoDB: srv0srv.c: Remove reference to sync0ipm.h (fix ChangeSet@1.1833)

This commit is contained in:
marko@hundin.mysql.fi
2004-05-17 16:19:55 +03:00
parent e6fb3e3531
commit de76ef323a

View File

@ -32,7 +32,6 @@ Created 10/8/1995 Heikki Tuuri
#include "mem0mem.h"
#include "mem0pool.h"
#include "sync0sync.h"
#include "sync0ipm.h"
#include "thr0loc.h"
#include "que0que.h"
#include "srv0que.h"