mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 16:44:07 +00:00
mbp: term: Fix reorder ctor warning. (#7016)
Initialize members in same order they are defined.
This commit is contained in:
parent
9d3fef3e2b
commit
b5e8f59eae
|
@ -172,8 +172,8 @@ class term {
|
|||
: m_expr(v), m_root(this), m_repr(nullptr), m_next(this), m_mark(false),
|
||||
m_mark2(false), m_interpreted(false),
|
||||
m_is_eq(m_expr.get_manager().is_eq(m_expr)), m_is_peq(false),
|
||||
m_is_npeq_child(false),
|
||||
m_is_neq_child(false), m_cgr(0), m_gr(0) {
|
||||
m_is_neq_child(false), m_is_npeq_child(false),
|
||||
m_cgr(0), m_gr(0) {
|
||||
m_is_neq = m_expr.get_manager().is_not(m_expr) &&
|
||||
m_expr.get_manager().is_eq(to_app(m_expr)->get_arg(0));
|
||||
m_is_distinct = m_expr.get_manager().is_distinct(m_expr);
|
||||
|
|
Loading…
Reference in a new issue