diff --git a/src/util/std_expr.h b/src/util/std_expr.h index 7e4e56689c9..3e65611966c 100644 --- a/src/util/std_expr.h +++ b/src/util/std_expr.h @@ -1751,14 +1751,7 @@ inline union_exprt &to_union_expr(exprt &expr) class struct_exprt : public multi_ary_exprt { public: - DEPRECATED( - SINCE(2018, 9, 21, "use struct_exprt(component_name, value, type) instead")) - struct_exprt() : multi_ary_exprt(ID_struct) - { - } - - DEPRECATED( - SINCE(2019, 1, 12, "use struct_exprt(component_name, value, type) instead")) + DEPRECATED(SINCE(2019, 1, 12, "use struct_exprt(operands, type) instead")) explicit struct_exprt(const typet &_type) : multi_ary_exprt(ID_struct, _type) { } diff --git a/src/util/string_expr.h b/src/util/string_expr.h index f94aba0c799..369471d0462 100644 --- a/src/util/string_expr.h +++ b/src/util/string_expr.h @@ -108,15 +108,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,