From 89420525dd8417f32446aa9cd9a18ecd211cc119 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Fri, 20 Nov 2020 12:06:23 -0800 Subject: [PATCH] Fix compiler warnings. (#5493) --- src/theory/arith/theory_arith_private.cpp | 1 - src/theory/rewriter.cpp | 1 - 2 files changed, 2 deletions(-) diff --git a/src/theory/arith/theory_arith_private.cpp b/src/theory/arith/theory_arith_private.cpp index a684e1895..109ffe63c 100644 --- a/src/theory/arith/theory_arith_private.cpp +++ b/src/theory/arith/theory_arith_private.cpp @@ -3478,7 +3478,6 @@ bool TheoryArithPrivate::postCheck(Theory::Effort effortLevel) } d_statistics.d_avgUnknownsInARow.addEntry(d_unknownsInARow); - size_t nPivots = options::useFC() ? d_fcSimplex.getPivots() : d_dualSimplex.getPivots(); for (std::size_t i = 0; i < d_fcSimplex.getPivots(); ++i) { d_containing.d_out->spendResource( diff --git a/src/theory/rewriter.cpp b/src/theory/rewriter.cpp index 3a4941328..725fa5cd8 100644 --- a/src/theory/rewriter.cpp +++ b/src/theory/rewriter.cpp @@ -479,7 +479,6 @@ RewriteResponse Rewriter::processTrustRewriteResponse( { Node tidn = builtin::BuiltinProofRuleChecker::mkTheoryIdNode(theoryId); // add small step trusted rewrite - NodeManager* nm = NodeManager::currentNM(); Node rid = mkMethodId(isPre ? MethodId::RW_REWRITE_THEORY_PRE : MethodId::RW_REWRITE_THEORY_POST); tcpg->addRewriteStep(proven[0], -- 2.30.2