From a10a7e31a6e73b1838686494d8e082b34875a725 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Fri, 17 Mar 2023 23:25:20 +0100
Subject: [PATCH] unused variable

---
 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 745ec2661..42096d6bc 100644
--- a/src/math/polysat/solver.cpp
+++ b/src/math/polysat/solver.cpp
@@ -771,8 +771,6 @@ namespace polysat {
             case trail_instr_t::assign_bool_i: {
                 sat::literal lit = m_search.back().lit();
                 LOG_V(20, "Undo assign_bool_i: " << lit_pp(*this, lit));
-                unsigned active_level = m_bvars.level(lit);
-
                 clause* reason = m_bvars.reason(lit);
                 if (reason && reason->size() == 1) {
                     SASSERT(m_bvars.is_bool_propagation(lit));