Skip to content

Commit

Permalink
mbp: term: Fix reorder ctor warning. (#7016)
Browse files Browse the repository at this point in the history
Initialize members in same order they are defined.
  • Loading branch information
waywardmonkeys authored Nov 26, 2023
1 parent 9d3fef3 commit b5e8f59
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/qe/mbp/mbp_term_graph.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -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);
Expand Down

0 comments on commit b5e8f59

Please sign in to comment.