1
0
mirror of https://github.com/postgres/postgres.git synced 2025-04-21 12:05:57 +03:00

Fix mis-indented lines

Per Coverity
This commit is contained in:
Alvaro Herrera 2013-07-31 17:57:15 -04:00
parent 5d9951a650
commit 603c4a90c1

View File

@ -596,9 +596,9 @@ ParseConfigFp(FILE *fp, const char *config_file, int depth, int elevel,
depth + 1, elevel, depth + 1, elevel,
head_p, tail_p)) head_p, tail_p))
OK = false; OK = false;
yy_switch_to_buffer(lex_buffer); yy_switch_to_buffer(lex_buffer);
pfree(opt_name); pfree(opt_name);
pfree(opt_value); pfree(opt_value);
} }
else if (guc_name_compare(opt_name, "include") == 0) else if (guc_name_compare(opt_name, "include") == 0)
{ {