Skip to content

Commit 9ad5584

Browse files
author
Daniel Kroening
committed
array_exprt is multi-ary
1 parent 3028bf8 commit 9ad5584

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

src/util/std_expr.h

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1642,16 +1642,16 @@ inline void validate_expr(const array_of_exprt &value)
16421642

16431643

16441644
/// \brief Array constructor from list of elements
1645-
class array_exprt:public exprt
1645+
class array_exprt : public multi_ary_exprt
16461646
{
16471647
public:
16481648
DEPRECATED("use array_exprt(type) instead")
1649-
array_exprt():exprt(ID_array)
1649+
array_exprt() : multi_ary_exprt(ID_array)
16501650
{
16511651
}
16521652

1653-
explicit array_exprt(const array_typet &_type):
1654-
exprt(ID_array, _type)
1653+
explicit array_exprt(const array_typet &_type)
1654+
: multi_ary_exprt(ID_array, _type)
16551655
{
16561656
}
16571657
};

0 commit comments

Comments
 (0)