From: Tim King <taking@google.com>
Date: Tue, 27 Sep 2016 16:20:11 +0000 (-0700)
Subject: Removing an unused iterator.
X-Git-Tag: cvc5-1.0.0~6028^2~16
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ebb20bf5d26eb62df7339c8bdccc0b12771809b6;p=cvc5.git

Removing an unused iterator.
---

diff --git a/src/proof/lemma_proof.cpp b/src/proof/lemma_proof.cpp
index 3a962f987..fb7df4576 100644
--- a/src/proof/lemma_proof.cpp
+++ b/src/proof/lemma_proof.cpp
@@ -34,7 +34,6 @@ std::set<Node> LemmaProofRecipe::ProofStep::getAssertions() const {
 }
 
 void LemmaProofRecipe::addStep(ProofStep& proofStep) {
-  std::list<ProofStep>::iterator existingFirstStep = d_proofSteps.begin();
   d_proofSteps.push_front(proofStep);
 }