From b84b4e7f9ace073a6d2a3c65e699b35a8e20f400 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 26 Aug 2024 11:38:27 -0700
Subject: [PATCH] fix attribute order

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/nlsat/nlsat_explain.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/nlsat/nlsat_explain.cpp b/src/nlsat/nlsat_explain.cpp
index 12db1d3da..a188206b4 100644
--- a/src/nlsat/nlsat_explain.cpp
+++ b/src/nlsat/nlsat_explain.cpp
@@ -146,11 +146,10 @@ namespace nlsat {
             m_factors(m_pm),
             m_factors_save(m_pm),
             m_roots_tmp(m_am),
+            m_cell_sample(is_sample),
             m_todo(u),
             m_core1(s),
             m_core2(s),
-            m_cell_sample(is_sample),
-
             m_evaluator(ev) {
             m_simplify_cores   = false;
             m_full_dimensional = false;