butterfly effect on fp?

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Sep 1, 2020 · 141edef · 141edef
1 parent 527bf72
commit 141edef
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp
@@ -86,7 +86,7 @@ namespace sat {
         m_cuber                   = nullptr;
         m_local_search            = nullptr;
         m_mc.set_solver(this);
-        mk_var(false, false);
+        //mk_var(false, false);
     }
 
     solver::~solver() {
@@ -138,7 +138,7 @@ namespace sat {
         m_qhead = 0;
         m_trail.reset();
         m_scopes.reset();
-        mk_var(false, false);
+        //mk_var(false, false);
 
         if (src.inconsistent()) {
             set_conflict();