remove deprecated struct_exprt constructor

Daniel Kroening · Daniel Kroening · commit c3bc2bbe0a40 · 2019-03-12T10:27:04.000Z
This has no users and has been deprecated since 2018-09-21.
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -1872,11 +1872,6 @@ inline union_exprt &to_union_expr(exprt &expr)
 class struct_exprt : public multi_ary_exprt
 {
 public:
-  DEPRECATED("use struct_exprt(component_name, value, type) instead")
-  struct_exprt() : multi_ary_exprt(ID_struct)
-  {
-  }
-
   DEPRECATED("use struct_exprt(component_name, value, type) instead")
   explicit struct_exprt(const typet &_type) : multi_ary_exprt(ID_struct, _type)
   {

Original file line number	Diff line number	Diff line change
`@@ -1872,11 +1872,6 @@ inline union_exprt &to_union_expr(exprt &expr)`
`1872`	`1872`	`class struct_exprt : public multi_ary_exprt`
`1873`	`1873`	`{`
`1874`	`1874`	`public:`
`1875`		`- DEPRECATED("use struct_exprt(component_name, value, type) instead")`
`1876`		`- struct_exprt() : multi_ary_exprt(ID_struct)`
`1877`		`- {`
`1878`		`- }`
`1879`		`-`
`1880`	`1875`	`DEPRECATED("use struct_exprt(component_name, value, type) instead")`
`1881`	`1876`	`explicit struct_exprt(const typet &_type) : multi_ary_exprt(ID_struct, _type)`
`1882`	`1877`	`{`