From 69dc7cab0195732d2835d870ef53f364efdd207a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 16 Jun 2026 14:06:43 -0600
Subject: [PATCH] Update goal2sat.cpp

---
 src/sat/tactic/goal2sat.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/tactic/goal2sat.cpp b/src/sat/tactic/goal2sat.cpp
index 55aa5be1b..877c8c8dd 100644
--- a/src/sat/tactic/goal2sat.cpp
+++ b/src/sat/tactic/goal2sat.cpp
@@ -236,7 +236,7 @@ struct goal2sat::imp : public sat::sat_internalizer {
         }
         n -= m_num_scopes;
         m_num_scopes = 0;        
-        m_map.pop(n);
+        m_map.pop(n);        
         unsigned k = m_cache_lim[m_cache_lim.size() - n];
         for (unsigned i = m_cache_trail.size(); i-- > k; ) {
             app* t = m_cache_trail.get(i);