diff --git a/src/muz/spacer/spacer_proof_utils.cpp b/src/muz/spacer/spacer_proof_utils.cpp
index 4625cbdac..bbe53c362 100644
--- a/src/muz/spacer/spacer_proof_utils.cpp
+++ b/src/muz/spacer/spacer_proof_utils.cpp
@@ -539,7 +539,6 @@ proof* ProofIteratorPostOrder::next()
 
             p = todo.back();
             if (m_cache.find(p, tmp)) {
-                res = tmp; // TODO: shouldn't this line be removed?
                 todo.pop_back();
                 continue;
             }