From 10043c37fdf301d7ace1c53864251fd621cd9f5c Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Fri, 30 Jan 2026 16:38:23 +0000
Subject: [PATCH] fix build

---
 src/smt/smt_justification.cpp | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/smt/smt_justification.cpp b/src/smt/smt_justification.cpp
index 94dd2e263..d7b9bdff0 100644
--- a/src/smt/smt_justification.cpp
+++ b/src/smt/smt_justification.cpp
@@ -321,12 +321,11 @@ namespace smt {
         region& r = ctx.get_region();
         m_eqs = new (r) enode_pair[num_eqs];
         std::uninitialized_copy(eqs, eqs + num_eqs, m_eqs);
-        DEBUG_CODE((
+        DEBUG_CODE(
             for (unsigned i = 0; i < num_eqs; ++i) {
-                enode_pair const & [n1, n2] = eqs[i];
-                SASSERT(n1->get_root() == n2->get_root());
+                SASSERT(eqs[i].first->get_root() == eqs[i].second->get_root());
             }
-        ));
+        );
     }
 
     void ext_simple_justification::get_antecedents(conflict_resolution & cr) {