From 5ca32d65bd9e639e9b2d4382dc960e439392ea4c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 16 May 2026 10:29:45 -0700
Subject: [PATCH] use shrink instead of pop in a loop

---
 src/smt/nseq_context_solver.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/nseq_context_solver.h b/src/smt/nseq_context_solver.h
index 3324c8ab9..06dd33fee 100644
--- a/src/smt/nseq_context_solver.h
+++ b/src/smt/nseq_context_solver.h
@@ -125,7 +125,6 @@ namespace smt {
         void pop(unsigned n) override {
             SASSERT(n <= m_frame_bounds.size());
             unsigned target = m_frame_bounds[m_frame_bounds.size() - n];
-            while (m_deps.size() > target) {
                 m_deps.pop_back();
             }
             for (unsigned i = 0; i < n; i++) {