mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
dict_index_build_internal_clust(): Catch MDEV-20131 on CREATE TABLE
This commit is contained in:
parent
72b2489621
commit
b8d38c5e39
1 changed files with 2 additions and 2 deletions
|
@ -2318,8 +2318,8 @@ dict_index_build_internal_clust(
|
|||
ulint i;
|
||||
ibool* indexed;
|
||||
|
||||
ut_ad(dict_index_is_clust(index));
|
||||
ut_ad(!dict_index_is_ibuf(index));
|
||||
ut_ad(index->is_primary());
|
||||
ut_ad(!index->has_virtual());
|
||||
|
||||
ut_ad(mutex_own(&dict_sys.mutex));
|
||||
|
||||
|
|
Loading…
Reference in a new issue