Remove c_enum_constant_type

This was put in place to succeed enum_constant_type (which was then
deprecated), but neither of which are used for the C front-end has it's
own (much more elaborate) way of doing enum_constant_type.

Author: tautschnig

src/util/c_types.cpp

@@ -24,19 +24,6 @@ bitvector_typet index_type()
   return c_index_type();
 }
 
-/// return type of enum constants
-bitvector_typet c_enum_constant_type()
-{
-  // usually same as 'int',
-  // but might be unsigned, or shorter than 'int'
-  return signed_int_type();
-}
-
-bitvector_typet enum_constant_type()
-{
-  return c_enum_constant_type();
-}
-
 signedbv_typet signed_int_type()
 {
   signedbv_typet result(config.ansi_c.int_width);

src/util/c_types.h

@@ -463,10 +463,6 @@ DEPRECATED(
   SINCE(2022, 1, 13, "use c_index_type() or array_typet::index_type() instead"))
 bitvector_typet index_type();
 
-DEPRECATED(SINCE(2022, 1, 13, "use c_enum_constant_type() instead"))
-bitvector_typet enum_constant_type();
-
-bitvector_typet c_enum_constant_type();
 bitvector_typet c_index_type();
 signedbv_typet signed_int_type();
 unsignedbv_typet unsigned_int_type();