Обсуждение: pgsql: Remove unused parameter

Remove unused parameter

unused since 39bd3fd1db6f3aa3764d4a1bebcd71c4e9c00281

Discussion: https://www.postgresql.org/message-id/flat/511bb100-f829-ba21-2f10-9f952ec06ead%402ndquadrant.com

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/fd5e3b291415e6cf55408af1282585c945464c8f

Modified Files
--------------
src/pl/plpgsql/src/pl_gram.y | 9 ++++-----
1 file changed, 4 insertions(+), 5 deletions(-)