diff --git a/src/util/c_types.cpp b/src/util/c_types.cpp
index 15644fc42b0..c8943568611 100644
--- a/src/util/c_types.cpp
+++ b/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);
diff --git a/src/util/c_types.h b/src/util/c_types.h
index e9b922a709f..4ce998c58d8 100644
--- a/src/util/c_types.h
+++ b/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();