Remove unused include
authorPeter Eisentraut <peter@eisentraut.org>
Thu, 24 Aug 2023 06:26:13 +0000 (08:26 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Tue, 26 Sep 2023 06:56:41 +0000 (07:56 +0100)
commiteb36c6ac8478e664edebe8131ffa23c394e487cc
treeb32ad57f96fd2959794db89d3aee21a55640cf04
parente221c0befb1b23130d87c26a1a2479019b9d565d
Remove unused include

This was added in add5cf28d4 but was apparently never used.

Discussion: https://www.postgresql.org/message-id/flat/f84640e3-00d3-5abd-3f41-e6a19d33c40b@eisentraut.org
src/backend/catalog/index.c