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

Rename histogram_type=JSON to JSON_HB

This commit is contained in:
Sergei Petrunia
2021-08-27 16:57:22 +03:00
parent a48e63c5fe
commit f76e310ace
12 changed files with 67 additions and 64 deletions

View File

@ -44,7 +44,7 @@ enum enum_histogram_type
{
SINGLE_PREC_HB,
DOUBLE_PREC_HB,
JSON,
JSON_HB,
INVALID_HISTOGRAM
} Histogram_type;
@ -374,7 +374,7 @@ public:
Histogram_type get_type() override
{
return JSON;
return JSON_HB;
}
void set_size (ulonglong sz) override {size = (uint8) sz; }