1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

IB: production compilation fix

This commit is contained in:
Aleksey Midenkov
2016-11-04 22:30:56 +00:00
parent d65bc82909
commit 19641ce89f

View File

@@ -509,7 +509,7 @@ btr_pcur_move_to_prev_page(
page_cur_set_after_last(prev_block, btr_pcur_get_page_cur(cursor));
page_check_dir(prev_page);
ut_d(page_check_dir(prev_page));
}
/*********************************************************//**