From 3d3d2830ba86cd5fe54696203c5f1321f48fc531 Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Sat, 25 Nov 2023 12:34:28 +0700 Subject: [PATCH] mbp: term: Fix reorder ctor warning. 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);