diff options
| author | Andres Freund | 2024-07-15 22:11:56 +0000 |
|---|---|---|
| committer | Andres Freund | 2024-07-15 22:17:04 +0000 |
| commit | 47ecbfdfcc71e41d7dcc35f0be04f8adbe88397f (patch) | |
| tree | e1b196609d8f33330f445ace16c1654d23933776 | |
| parent | 4128453003dc755d94dfd661fb04d741f08e7fc8 (diff) | |
Fix bad indentation introduced in 43cd30bcd1c
Oops.
Reported-by: Nathan Bossart <[email protected]>
Discussion: https://postgr.es/m/ZpVZB9rH5tHllO75@nathan
Backpatch: 12-, like 43cd30bcd1c
| -rw-r--r-- | src/backend/utils/misc/guc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/backend/utils/misc/guc.c b/src/backend/utils/misc/guc.c index a043d529efa..b0947a4cf15 100644 --- a/src/backend/utils/misc/guc.c +++ b/src/backend/utils/misc/guc.c @@ -1289,8 +1289,8 @@ find_option(const char *name, bool create_placeholders, bool skip_errors, static int guc_var_compare(const void *a, const void *b) { - const char *namea = **(const char ** const *) a; - const char *nameb = **(const char ** const *) b; + const char *namea = **(const char **const *) a; + const char *nameb = **(const char **const *) b; return guc_name_compare(namea, nameb); } |