From ebb20bf5d26eb62df7339c8bdccc0b12771809b6 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Tue, 27 Sep 2016 09:20:11 -0700
Subject: [PATCH] Removing an unused iterator.

---
 src/proof/lemma_proof.cpp | 1 -
 1 file changed, 1 deletion(-)

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);
 }
 
-- 
2.30.2