fix deprecation message for struct_exprt

Daniel Kroening · Daniel Kroening · commit 15de885706d1 · 2019-03-24T19:20:27.000Z
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -1883,7 +1883,7 @@ class struct_exprt : public multi_ary_exprt
 {
 public:
   DEPRECATED(
-    SINCE(2019, 1, 12, "use struct_exprt(component_name, value, type) instead"))
+    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
`@@ -1883,7 +1883,7 @@ class struct_exprt : public multi_ary_exprt`
`1883`	`1883`	`{`
`1884`	`1884`	`public:`
`1885`	`1885`	`DEPRECATED(`
`1886`		`- SINCE(2019, 1, 12, "use struct_exprt(component_name, value, type) instead"))`
	`1886`	`+ SINCE(2019, 1, 12, "use struct_exprt(operands, type) instead"))`
`1887`	`1887`	`explicit struct_exprt(const typet &_type) : multi_ary_exprt(ID_struct, _type)`
`1888`	`1888`	`{`
`1889`	`1889`	`}`