How to drop a value from an ENUM?

[Torsten Förtsch <tfoertsch123@xxxxxxxxx>]

Hi,

I am absolutely sure a certain value of one of my ENUM types is not used in the entire database. Now I am asked to drop that value. Unfortunately, there is no ALTER TYPE DROP VALUE.

On my development box I tried

delete from pg_enum

 where enumtypid='my_type_name'::regtype

   and enumlabel='my_label'

It worked and I could not find any adverse effects.

Given the value is not used anywhere, is this a save command?

Thanks,

Torsten