--- 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 > boundaries_t; /** Allocator type used for index_map_t. */ -typedef ut_allocator > +typedef ut_allocator > index_map_t_allocator; /** Auxiliary map used for sorting indexes by name in dict_stats_save(). */