diff options
Diffstat (limited to 'src/expr/proof_node_updater.cpp')
| -rw-r--r-- | src/expr/proof_node_updater.cpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/expr/proof_node_updater.cpp b/src/expr/proof_node_updater.cpp index 227be2122..1e8fe4e7d 100644 --- a/src/expr/proof_node_updater.cpp +++ b/src/expr/proof_node_updater.cpp @@ -16,7 +16,6 @@ #include "expr/lazy_proof.h" - namespace CVC4 { ProofNodeUpdaterCallback::ProofNodeUpdaterCallback() {} @@ -39,6 +38,7 @@ void ProofNodeUpdater::process(std::shared_ptr<ProofNode> pf) do { cur = visit.back(); + visit.pop_back(); it = visited.find(cur); if (it == visited.end()) { @@ -67,12 +67,12 @@ void ProofNodeUpdater::process(std::shared_ptr<ProofNode> pf) // then, update the original proof node based on this one d_pnm->updateNode(cur, npn.get()); } - const std::vector<std::shared_ptr<ProofNode>>& ccp = cur->getChildren(); - // now, process children - for (const std::shared_ptr<ProofNode>& cp : ccp) - { - visit.push_back(cp.get()); - } + } + const std::vector<std::shared_ptr<ProofNode>>& ccp = cur->getChildren(); + // now, process children + for (const std::shared_ptr<ProofNode>& cp : ccp) + { + visit.push_back(cp.get()); } } } while (!visit.empty()); |