diff options
| author | Tim King <taking@google.com> | 2016-09-27 09:20:11 -0700 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2016-09-27 09:20:11 -0700 |
| commit | ebb20bf5d26eb62df7339c8bdccc0b12771809b6 (patch) | |
| tree | 7edaa6e0b51965dddb438178fa51f32eca1b87c8 | |
| parent | 4c27cb4c58d0f4acc79effc3ecc759aad976bcd3 (diff) | |
Removing an unused iterator.
| -rw-r--r-- | src/proof/lemma_proof.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
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); } |