From adbee0cd3fdfa9b9c7a3a96469e0bc9b8786b350 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 10 Oct 2023 16:02:59 +0900
Subject: [PATCH] fix #6937

---
 src/smt/smt_enode.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/smt_enode.cpp b/src/smt/smt_enode.cpp
index 02ea82ba6..df0606270 100644
--- a/src/smt/smt_enode.cpp
+++ b/src/smt/smt_enode.cpp
@@ -54,6 +54,7 @@ namespace smt {
         for (unsigned i = 0; i < num_args; i++) {            
             enode * arg  = app2enode[owner->get_arg(i)->get_id()];
             n->m_args[i] = arg;
+            arg->m_is_shared = 2;
             SASSERT(n->get_arg(i) == arg);
             if (update_children_parent)
                 arg->get_root()->m_parents.push_back(n);