fix deprecation message for struct_exprt

Daniel Kroening · Daniel Kroening · commit 1cbd47670191 · 2019-08-13T10:17:54.000+01:00
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -1751,8 +1751,7 @@ inline union_exprt &to_union_expr(exprt &expr)
 class struct_exprt : public multi_ary_exprt
 {
 public:
-  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)
   {
   }

Original file line number	Diff line number	Diff line change
`@@ -1751,8 +1751,7 @@ inline union_exprt &to_union_expr(exprt &expr)`
`1751`	`1751`	`class struct_exprt : public multi_ary_exprt`
`1752`	`1752`	`{`
`1753`	`1753`	`public:`
`1754`		`- DEPRECATED(`
`1755`		`- SINCE(2019, 1, 12, "use struct_exprt(component_name, value, type) instead"))`
	`1754`	`+ DEPRECATED(SINCE(2019, 1, 12, "use struct_exprt(operands, type) instead"))`
`1756`	`1755`	`explicit struct_exprt(const typet &_type) : multi_ary_exprt(ID_struct, _type)`
`1757`	`1756`	`{`
`1758`	`1757`	`}`