diff options
Diffstat (limited to 'innobase/page/page0page.c')
| -rw-r--r-- | innobase/page/page0page.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/innobase/page/page0page.c b/innobase/page/page0page.c index 71031263fbf..21adcdea635 100644 --- a/innobase/page/page0page.c +++ b/innobase/page/page0page.c @@ -110,7 +110,7 @@ page_dir_find_owner_slot( buf_page_print(page); - ut_a(0); + ut_error; } i--; @@ -441,7 +441,7 @@ page_copy_rec_list_end_no_locks( (ulint)(rec - page), (ulint)(page_cur_get_rec(&cur1) - page), (ulint)(page_cur_get_rec(&cur2) - new_page)); - ut_a(0); + ut_error; } page_cur_move_to_next(&cur1); |