From 2d8769dc6420877ff9acf4d9cfad4b484321ca5d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 20 Apr 2021 17:42:33 -0700
Subject: [PATCH] working on pivot

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

diff --git a/src/math/polysat/solver.cpp b/src/math/polysat/solver.cpp
index 65bde89c4..0d09a2fed 100644
--- a/src/math/polysat/solver.cpp
+++ b/src/math/polysat/solver.cpp
@@ -69,8 +69,6 @@ namespace polysat {
         m_fixplex(m_lim),
         m_dm(m_value_manager, m_alloc),
         m_free_vars(m_activity) {
-
-        fixplex<uint64_ext> s(m_lim);
     }
 
     solver::~solver() {}