index a043d529efa40329ef53696a32e8c7fe65b57590..b0947a4cf153d3578470bce8f30743d8b6d38e7d 100644 (file)
@@ -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);
}