From 240659d7f94215a5d2f816013c48c9080a81d9b5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 8 Sep 2025 15:41:57 -0700
Subject: [PATCH] add back unit sharing

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_parallel2.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/smt/smt_parallel2.cpp b/src/smt/smt_parallel2.cpp
index b04731661..2451ff591 100644
--- a/src/smt/smt_parallel2.cpp
+++ b/src/smt/smt_parallel2.cpp
@@ -112,10 +112,8 @@ namespace smt {
                     break;
                 }
             }    
-#if 0
             if (m_config.m_share_units)
                 share_units(m_l2g);
-#endif
         }
     }