Skip to content

Commit e039c1e

Browse files
author
Daniel Kroening
committed
remove deprecated struct_exprt constructor
This has no users and has been deprecated since 2018-09-21.
1 parent a933933 commit e039c1e

File tree

1 file changed

+0
-6
lines changed

1 file changed

+0
-6
lines changed

src/util/std_expr.h

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1751,12 +1751,6 @@ inline union_exprt &to_union_expr(exprt &expr)
17511751
class struct_exprt : public multi_ary_exprt
17521752
{
17531753
public:
1754-
DEPRECATED(
1755-
SINCE(2018, 9, 21, "use struct_exprt(component_name, value, type) instead"))
1756-
struct_exprt() : multi_ary_exprt(ID_struct)
1757-
{
1758-
}
1759-
17601754
DEPRECATED(
17611755
SINCE(2019, 1, 12, "use struct_exprt(component_name, value, type) instead"))
17621756
explicit struct_exprt(const typet &_type) : multi_ary_exprt(ID_struct, _type)

0 commit comments

Comments
 (0)