free memory in egraph

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 31, 2020 · bee3077 · bee3077
1 parent a003af4
commit bee3077
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/ast/euf/euf_egraph.cpp b/src/ast/euf/euf_egraph.cpp
@@ -130,9 +130,9 @@ namespace euf {
         return n;
     }
 
-    void egraph::~egraph() {
+    egraph::~egraph() {
         for (enode* n : m_nodes) 
-            n->~enode();        
+            n->m_parents.finalize();
     }
 
     void egraph::pop(unsigned num_scopes) {

diff --git a/src/sat/tactic/goal2sat.cpp b/src/sat/tactic/goal2sat.cpp
@@ -94,7 +94,7 @@ struct goal2sat::imp : public sat::sat_internalizer {
         m_ite_extra  = p.get_bool("ite_extra", true);
         m_max_memory = megabytes_to_bytes(p.get_uint("max_memory", UINT_MAX));
         m_xor_solver = p.get_bool("xor_solver", false);
-        m_euf = true; // false; // true;
+        m_euf = false;
     }
 
     void throw_op_not_handled(std::string const& s) {