From a70ff84d8cd755576b41a49055b962f4500fa524 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 5 Mar 2026 17:56:37 +0000
Subject: [PATCH 1/2] Initial plan


From 17894601ba58374bea6daa98e1068f95edfca775 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 5 Mar 2026 17:57:41 +0000
Subject: [PATCH 2/2] refactor: use constructor delegation in dep_tracker to
 eliminate duplicate initialization

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/smt/seq/seq_nielsen.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/smt/seq/seq_nielsen.cpp b/src/smt/seq/seq_nielsen.cpp
index db9b4f310..bb418be22 100644
--- a/src/smt/seq/seq_nielsen.cpp
+++ b/src/smt/seq/seq_nielsen.cpp
@@ -37,9 +37,7 @@ namespace seq {
         m_bits.resize(words, 0);
     }
 
-    dep_tracker::dep_tracker(unsigned num_bits, unsigned set_bit) {
-        unsigned words = (num_bits + 31) / 32;
-        m_bits.resize(words, 0);
+    dep_tracker::dep_tracker(unsigned num_bits, unsigned set_bit) : dep_tracker(num_bits) {
         if (set_bit < num_bits) {
             unsigned word_idx = set_bit / 32;
             unsigned bit_idx = set_bit % 32;