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 3940931125e..7250a96bb5d 100644 --- a/storage/innobase/include/page0page.ic +++ b/storage/innobase/include/page0page.ic @@ -218,7 +218,6 @@ page_header_get_offs( { ulint offs; - ut_ad(page); ut_ad((field == PAGE_FREE) || (field == PAGE_LAST_INSERT) || (field == PAGE_HEAP_TOP)); |