mirror of
https://github.com/postgres/postgres.git
synced 2025-11-10 17:42:29 +03:00
is redundant after a check has already been made for "num < 0". The "set" variable can also be removed, as it is now no longer used. Per checking with Karel, this is the right fix. Per Coverity static analysis performed by EnterpriseDB.