plpgsql: Rename a variable for clarity
authorPeter Eisentraut <peter@eisentraut.org>
Thu, 26 Dec 2024 10:11:14 +0000 (11:11 +0100)
committerPeter Eisentraut <peter@eisentraut.org>
Thu, 26 Dec 2024 10:11:14 +0000 (11:11 +0100)
commit3f2d72b4934945da76f6bc60dfe3fc5ca42e7526
treecc484b93acf14c9d5717fae21e7d1bcb5a618809
parenta86cfcae7c58049c7a3a60118ef3f53afd92b3fa
plpgsql: Rename a variable for clarity

Rename "core_yy_extra_type core_yy" to "core_yy_extra".  The previous
name was a bit unclear and confusing.  The new name matches the name
used elsewhere for the same purpose, for example in
src/backend/parser/gramparse.h.
src/pl/plpgsql/src/pl_scanner.c