From 60f8884dbdf655ca259d41b294d2ba51b087db1d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 28 Aug 2020 15:10:52 -0700
Subject: [PATCH] sr

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/tactic/goal2sat.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/sat/tactic/goal2sat.cpp b/src/sat/tactic/goal2sat.cpp
index de29845e4..55eb7fa2f 100644
--- a/src/sat/tactic/goal2sat.cpp
+++ b/src/sat/tactic/goal2sat.cpp
@@ -760,10 +760,10 @@ void goal2sat::operator()(goal const & g, params_ref const & p, sat::solver_core
             g.m_imp->m_cache.reset();
         }
     };
-    scoped_reset _reset(*this);
-
-    (*m_imp)(g);
-
+    {
+        scoped_reset _reset(*this);
+        (*m_imp)(g);
+    }
 
     m_interpreted_atoms = alloc(expr_ref_vector, g.m());
     m_interpreted_atoms->append(m_imp->m_interpreted_atoms);