mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 05:22:25 +01:00
branches/innodb+: Revert an accidental change that was made in r4064.
This commit is contained in:
parent
36e644aada
commit
cb891c81ab
1 changed files with 1 additions and 1 deletions
|
@ -9432,7 +9432,7 @@ innodb_change_buffering_update(
|
|||
{
|
||||
ut_a(var_ptr != NULL);
|
||||
ut_a(save != NULL);
|
||||
ut_a((*(ibuf_use_t*) save) <= IBUF_USE_INSERT);
|
||||
ut_a((*(ibuf_use_t*) save) <= IBUF_USE_ALL);
|
||||
|
||||
ibuf_use = *(const ibuf_use_t*) save;
|
||||
|
||||
|
|
Loading…
Reference in a new issue