missing

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 23, 2021 · 4b3b4b9 · 4b3b4b9
1 parent 2a682e4
commit 4b3b4b9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/ast/euf/euf_egraph.cpp b/src/ast/euf/euf_egraph.cpp
@@ -99,7 +99,6 @@ namespace euf {
     void egraph::update_children(enode* n) {
         for (enode* child : enode_args(n)) 
             child->get_root()->add_parent(n);
-        n->set_update_children();            
         m_updates.push_back(update_record(n, update_record::update_children()));
     }