array_list_exprt is multi-ary

Daniel Kroening · Daniel Kroening · commit d062c45cc83c · 2018-11-03T16:34:26.000Z
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -1682,11 +1682,11 @@ template<> inline bool can_cast_expr<array_exprt>(const exprt &base)
 
 /// Array constructor from a list of index-element pairs
 /// Operands are index/value pairs, alternating.
-class array_list_exprt : public exprt
+class array_list_exprt : public multi_ary_exprt
 {
 public:
   explicit array_list_exprt(const array_typet &_type)
-    : exprt(ID_array_list, _type)
+    : multi_ary_exprt(ID_array_list, _type)
   {
   }
 };

Original file line number	Diff line number	Diff line change
`@@ -1682,11 +1682,11 @@ template<> inline bool can_cast_expr<array_exprt>(const exprt &base)`
`1682`	`1682`
`1683`	`1683`	`/// Array constructor from a list of index-element pairs`
`1684`	`1684`	`/// Operands are index/value pairs, alternating.`
`1685`		`-class array_list_exprt : public exprt`
	`1685`	`+class array_list_exprt : public multi_ary_exprt`
`1686`	`1686`	`{`
`1687`	`1687`	`public:`
`1688`	`1688`	`explicit array_list_exprt(const array_typet &_type)`
`1689`		`- : exprt(ID_array_list, _type)`
	`1689`	`+ : multi_ary_exprt(ID_array_list, _type)`
`1690`	`1690`	`{`
`1691`	`1691`	`}`
`1692`	`1692`	`};`