From 86f247db2260bfb40afa29275c5a2baea81da7df Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Fri, 21 Jan 2022 15:57:47 +0100
Subject: [PATCH] fix warning

---
 src/math/polysat/op_constraint.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/math/polysat/op_constraint.cpp b/src/math/polysat/op_constraint.cpp
index f76c3406c..98d6aa85c 100644
--- a/src/math/polysat/op_constraint.cpp
+++ b/src/math/polysat/op_constraint.cpp
@@ -290,8 +290,6 @@ namespace polysat {
     }
 
     lbool op_constraint::eval_and(pdd const& p, pdd const& q, pdd const& r) const {
-        auto& m = p.manager();
-
         if ((p.is_zero() || q.is_zero()) && r.is_zero())
             return l_true;