From 3126dea67f4220d6453739f52f05ff1ca591fcc7 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 20 Jun 2018 20:12:43 +0100 Subject: [PATCH] Fix bswap_exprt constructor --- src/util/std_expr.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/util/std_expr.h b/src/util/std_expr.h index 1d316fa4502..c03a8a05e17 100644 --- a/src/util/std_expr.h +++ b/src/util/std_expr.h @@ -512,9 +512,10 @@ class bswap_exprt: public unary_exprt set_bits_per_byte(bits_per_byte); } - explicit bswap_exprt(const exprt &_op, std::size_t &_bits_per_byte) + bswap_exprt(const exprt &_op, std::size_t bits_per_byte) : unary_exprt(ID_bswap, _op, _op.type()) { + set_bits_per_byte(bits_per_byte); } std::size_t get_bits_per_byte() const