From b5aab7ec2a0113d8976ebe578c67d48a21bb92ff Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 11 Nov 2020 17:34:26 -0800
Subject: [PATCH] fix clone

---
 src/sat/smt/bv_solver.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/sat/smt/bv_solver.cpp b/src/sat/smt/bv_solver.cpp
index e1cdfa312..a0ec0e75b 100644
--- a/src/sat/smt/bv_solver.cpp
+++ b/src/sat/smt/bv_solver.cpp
@@ -659,7 +659,7 @@ namespace bv {
                 continue;
 
             atom* new_a = new (result->get_region()) atom(i);
-            m_bool_var2atom.setx(i, new_a, nullptr);
+            result->m_bool_var2atom.setx(i, new_a, nullptr);
             for (auto vp : *a)
                 new_a->m_occs = new (result->get_region()) var_pos_occ(vp.first, vp.second, new_a->m_occs);
             for (auto const& occ : a->eqs()) {
@@ -670,7 +670,7 @@ namespace bv {
             }
             new_a->m_def = a->m_def;
             new_a->m_var = a->m_var;
-            validate_atoms();
+            // validate_atoms();
         }
         return result;
     }