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

cleanup: formatting

comments, whitespaces
This commit is contained in:
Sergei Golubchik
2019-10-07 22:17:05 +02:00
parent 828d9ae597
commit 721a9df751
8 changed files with 53 additions and 64 deletions

View File

@ -5142,7 +5142,7 @@ protected:
/* Something used only by the parser: */
public:
ha_rows est_records; /* estimated number of records in the result */
select_result(THD *thd_arg): select_result_sink(thd_arg), est_records(0) {}
select_result(THD *thd_arg): select_result_sink(thd_arg), est_records(0) {}
void set_unit(SELECT_LEX_UNIT *unit_arg) { unit= unit_arg; }
virtual ~select_result() {};
/**