diff options
Diffstat (limited to 'databases/mysql80-server/files/patch-storage_innobase_dict_dict0stats.cc')
| -rw-r--r-- | databases/mysql80-server/files/patch-storage_innobase_dict_dict0stats.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/databases/mysql80-server/files/patch-storage_innobase_dict_dict0stats.cc b/databases/mysql80-server/files/patch-storage_innobase_dict_dict0stats.cc new file mode 100644 index 000000000000..879e91a116fb --- /dev/null +++ b/databases/mysql80-server/files/patch-storage_innobase_dict_dict0stats.cc @@ -0,0 +1,11 @@ +--- storage/innobase/dict/dict0stats.cc.orig 2016-03-28 18:06:12 UTC ++++ storage/innobase/dict/dict0stats.cc +@@ -139,7 +139,7 @@ then we would store 5,7,10,11,12 in the + typedef std::vector<ib_uint64_t, ut_allocator<ib_uint64_t> > boundaries_t; + + /** Allocator type used for index_map_t. */ +-typedef ut_allocator<std::pair<const char*, dict_index_t*> > ++typedef ut_allocator<std::pair<const char* const, dict_index_t*> > + index_map_t_allocator; + + /** Auxiliary map used for sorting indexes by name in dict_stats_save(). */ |