diff options
Diffstat (limited to 'src/proof/lemma_proof.cpp')
| -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); } |