Rename int4 to int32 in a few places.

Bruce Momjian <bruce@momjian.us>

Commit: 7e533da492474002ecc75e1aa3256d629545dfb3
Author: Bruce Momjian <bruce@momjian.us>
Date: 2001-01-23T01:48:17Z
Releases: 7.1.1
Rename int4 to int32 in a few places.

Files