diff options
Diffstat (limited to 'storage/innobase/include/page0page.ic')
| -rw-r--r-- | storage/innobase/include/page0page.ic | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/storage/innobase/include/page0page.ic b/storage/innobase/include/page0page.ic index 99e17001c0a..a4d3bd40426 100644 --- a/storage/innobase/include/page0page.ic +++ b/storage/innobase/include/page0page.ic @@ -160,7 +160,6 @@ page_header_get_offs( { ulint offs; - ut_ad(page); ut_ad((field == PAGE_FREE) || (field == PAGE_LAST_INSERT) || (field == PAGE_HEAP_TOP)); |