mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 22:23:22 +00:00
Code Activity

removed unnecessary assignment

Browse source
This commit is contained in:
Bernhard Gleiss 2018-01-10 12:02:16 +01:00 • committed by Arie Gurfinkel
parent 295d16bfae
commit 4b6921dffb
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/muz/spacer/spacer_proof_utils.cpp
View file

@ -539,7 +539,6 @@ proof* ProofIteratorPostOrder::next()
p = todo.back(); p = todo.back();
if (m_cache.find(p, tmp)) { if (m_cache.find(p, tmp)) {
res = tmp; // TODO: shouldn't this line be removed?
todo.pop_back(); todo.pop_back();
continue; continue;
} }