Skip to content

Commit 76fc29c

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 9564068 commit 76fc29c

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
@@ -1738,12 +1738,6 @@ inline union_exprt &to_union_expr(exprt &expr)
17381738
class struct_exprt : public multi_ary_exprt
17391739
{
17401740
public:
1741-
DEPRECATED(
1742-
SINCE(2018, 9, 21, "use struct_exprt(component_name, value, type) instead"))
1743-
struct_exprt() : multi_ary_exprt(ID_struct)
1744-
{
1745-
}
1746-
17471741
DEPRECATED(
17481742
SINCE(2019, 1, 12, "use struct_exprt(component_name, value, type) instead"))
17491743
explicit struct_exprt(const typet &_type) : multi_ary_exprt(ID_struct, _type)

0 commit comments

Comments
 (0)