From 1f964eea904da78b8ad85368fd2ee30319c1b9fb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 3 Jan 2022 11:12:28 -0800
Subject: [PATCH] na

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

diff --git a/src/sat/tactic/goal2sat.cpp b/src/sat/tactic/goal2sat.cpp
index 1db0c08fe..e3386b4e2 100644
--- a/src/sat/tactic/goal2sat.cpp
+++ b/src/sat/tactic/goal2sat.cpp
@@ -239,7 +239,6 @@ struct goal2sat::imp : public sat::sat_internalizer {
         for (; m_num_scopes > 0; --m_num_scopes) {
             m_map.push();
             m_cache_lim.push_back(m_cache_trail.size());
-        }
         }        
     }