BUG #8747: Error Size Integer

The following bug has been logged on the website:

Bug reference:      8747
Logged by:          Leandro
Email address:      leandro.eiro@cee.ce.gov.br
PostgreSQL version: 9.1.0
Operating system:   Ubuntu
Description:

I try to change the Integer size, and appears this:


ERROR:  syntax error at or near "("
LINE 1: ...jgovce_jevents_vevent" ALTER COLUMN "ev_id" TYPE integer(12)
                                                                 ^


No bloco:
ALTER TABLE "public"."jgovce_jevents_vevent" ALTER COLUMN "ev_id" TYPE
integer(12)