From 4b6921dffbbf7e6f0e41ade7db732dbb34d75ed3 Mon Sep 17 00:00:00 2001
From: Bernhard Gleiss <bgleiss@forsyte.tuwien.ac.at>
Date: Wed, 10 Jan 2018 12:02:16 +0100
Subject: [PATCH] removed unnecessary assignment

---
 src/muz/spacer/spacer_proof_utils.cpp | 1 -
 1 file changed, 1 deletion(-)

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;
             }