From 4b3b4b95d97cbe12dd3be336c45897f0b5c7e700 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 23 Aug 2021 10:03:34 -0700
Subject: [PATCH] missing

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/euf/euf_egraph.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/ast/euf/euf_egraph.cpp b/src/ast/euf/euf_egraph.cpp
index 9cfbe941a0c..79426202bf6 100644
--- 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()));
     }