From e2165a78ed5a85ef065291dca36fa9006e6dca33 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 15 Dec 2023 08:59:05 -0800
Subject: [PATCH] import pdd updates from polysat

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

diff --git a/src/sat/smt/polysat_internalize.cpp b/src/sat/smt/polysat_internalize.cpp
index 3cbf4b0ed..42336d478 100644
--- a/src/sat/smt/polysat_internalize.cpp
+++ b/src/sat/smt/polysat_internalize.cpp
@@ -698,9 +698,7 @@ namespace polysat {
         m_var2pdd.reserve(get_num_vars(), p);
         m_var2pdd_valid.reserve(get_num_vars(), false);
         ctx.push(set_bitvector_trail(m_var2pdd_valid, v));
-#if 0
         m_var2pdd[v].reset(p.manager());
-#endif
         m_var2pdd[v] = p;
     }