From b5e8f59eae631c35b55c1cee5c5d19cd8d6cde7d Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Sun, 26 Nov 2023 22:34:08 +0700 Subject: [PATCH] mbp: term: Fix reorder ctor warning. (#7016) Initialize members in same order they are defined. --- src/qe/mbp/mbp_term_graph.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/qe/mbp/mbp_term_graph.cpp b/src/qe/mbp/mbp_term_graph.cpp index e8ba29dfd22..e5e5309f357 100644 --- a/src/qe/mbp/mbp_term_graph.cpp +++ b/src/qe/mbp/mbp_term_graph.cpp @@ -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);