mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 20:33:38 +00:00
Code Activity

fix initialization ordering to follow declaration order

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-04-16 12:43:41 -07:00
parent 596acf26ce
commit 153106a6a7
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/theory_array_bapa.cpp
View file

@ -400,9 +400,9 @@ namespace smt {
imp(theory_array_full& th): imp(theory_array_full& th):
m(th.get_manager()), m(th.get_manager()),
th(th), th(th),
m_rw(m),
m_arith(m), m_arith(m),
m_autil(m), m_autil(m),
m_rw(m),
m_arith_value(m), m_arith_value(m),
m_pinned(m) m_pinned(m)
{ {