mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 04:53:01 +01:00
Fix for build break introduced at rev 3711
asked by Calvin
This commit is contained in:
parent
705a65e901
commit
636a7f79e8
1 changed files with 1 additions and 0 deletions
|
@ -38,6 +38,7 @@ Created 5/7/1996 Heikki Tuuri
|
|||
#include "trx0purge.h"
|
||||
#include "dict0mem.h"
|
||||
#include "trx0sys.h"
|
||||
#include "btr0btr.h"
|
||||
|
||||
/* Restricts the length of search we will do in the waits-for
|
||||
graph of transactions */
|
||||
|
|
Loading…
Reference in a new issue