Fix whitespace
authorPeter Eisentraut <[email protected]>
Tue, 19 Mar 2019 09:28:34 +0000 (10:28 +0100)
committerPeter Eisentraut <[email protected]>
Tue, 19 Mar 2019 09:28:34 +0000 (10:28 +0100)
src/backend/utils/adt/jsonpath_gram.y
src/backend/utils/adt/jsonpath_scan.l

index 183861f780f6f771f7d53c14bb268d4159d9dfe6..2486fcd9e43aaf812b4888e3e79980e558035f8c 100644 (file)
@@ -477,4 +477,3 @@ method:
    | KEYVALUE_P                    { $$ = jpiKeyValue; }
    ;
 %%
-
index 06efe0e6ab969961b48a284cead1bf21c9f014a1..c320816960199894ed8ad1f0c42a66e44c4d4dd7 100644 (file)
@@ -635,4 +635,3 @@ jsonpath_yyfree(void *ptr)
    if (ptr)
        pfree(ptr);
 }
-