remove refined_string_exprt constructor

Daniel Kroening · Daniel Kroening · commit a68f8ea7d838 · 2019-03-24T19:19:55.000Z
This has no users.
diff --git a/src/util/string_expr.h b/src/util/string_expr.h
@@ -114,15 +114,6 @@ inline const array_string_exprt &to_array_string_expr(const exprt &expr)
 class refined_string_exprt : public struct_exprt
 {
 public:
-  DEPRECATED(SINCE(
-    2019,
-    1,
-    12,
-    "use refined_string_exprt(length, content, type) instead"))
-  refined_string_exprt() : struct_exprt()
-  {
-  }
-
   refined_string_exprt(
     const exprt &_length,
     const exprt &_content,
