1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

fix some conversion warnings

This commit is contained in:
Vladislav Vaintroub
2017-09-28 12:21:16 +00:00
parent 7354dc6773
commit ccf21c9962
9 changed files with 18 additions and 18 deletions

View File

@ -10912,7 +10912,7 @@ int read_keys_and_merge_scans(THD *thd,
unique= new Unique(refpos_order_cmp, (void *)file,
file->ref_length,
thd->variables.sortbuff_size,
(size_t)thd->variables.sortbuff_size,
intersection ? quick_selects.elements : 0);
if (!unique)
goto err;