#6523

Z3Prover · Oct 15, 2023 · 5942dc2 · 5942dc2
1 parent 5619ed0
commit 5942dc2
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/ast/euf/euf_egraph.cpp b/src/ast/euf/euf_egraph.cpp
@@ -36,8 +36,10 @@ namespace euf {
         }
         m_expr2enode.setx(f->get_id(), n, nullptr);
         push_node(n);
-        for (unsigned i = 0; i < num_args; ++i) 
-            set_cgc_enabled(args[i], true);                             
+        for (unsigned i = 0; i < num_args; ++i) {
+            set_cgc_enabled(args[i], true);      
+            args[i]->get_root()->set_is_shared(l_undef);
+        }                       
         return n;
     }