3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00

fixed initialization order warning in pb2bv_rewriter

This commit is contained in:
Christoph M. Wintersteiger 2016-10-25 14:31:29 +01:00
parent 6ea45b4d65
commit 8c5c564d6c

View file

@ -224,12 +224,12 @@ struct pb2bv_rewriter::imp {
public:
card2bv_rewriter(imp& i, ast_manager& m):
m_sort(*this),
m(m),
m_imp(i),
au(m),
pb(m),
bv(m),
m_sort(*this),
m_trail(m),
m_args(m)
{}