fix: wrong indent

pull/8025/head
R3gardless 2025-06-18 20:39:03 +09:00
parent 353616ebbd
commit aea0d2907c
1 changed files with 1 additions and 1 deletions

View File

@ -598,7 +598,7 @@ AdjustDynamicLibraryPathForCdcDecoders(void)
{ {
if (strcmp(Dynamic_library_path, "$libdir") == 0) if (strcmp(Dynamic_library_path, "$libdir") == 0)
{ {
SetConfigOption("dynamic_library_path", CDC_DECODER_DYNAMIC_LIB_PATH, SetConfigOption("dynamic_library_path", CDC_DECODER_DYNAMIC_LIB_PATH,
PGC_POSTMASTER, PGC_S_OVERRIDE); PGC_POSTMASTER, PGC_S_OVERRIDE);
} }
} }