diff --git a/src/util/string_constant.h b/src/util/string_constant.h
index 37bf42ef395..05d8ee7b9c9 100644
--- a/src/util/string_constant.h
+++ b/src/util/string_constant.h
@@ -16,20 +16,8 @@ class string_constantt : public nullary_exprt
 public:
   explicit string_constantt(const irep_idt &);
 
-  DEPRECATED(SINCE(2023, 10, 31, "use value(...)"))
-  void set_value(const irep_idt &_value)
-  {
-    value(_value);
-  }
-
   void value(const irep_idt &);
 
-  DEPRECATED(SINCE(2023, 10, 31, "use value()"))
-  const irep_idt &get_value() const
-  {
-    return value();
-  }
-
   const irep_idt &value() const
   {
     return get(ID_value);