Merge pull request #8003 from NlightNFotis/delete_get_set_value

Delete `string_constantt::get_value` and  `string_constantt::set_value` functions

Author: kroening

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);