From 38d09520b09ae79f636df3042a3184f0efc4de8d Mon Sep 17 00:00:00 2001
From: Brian Demsky <bdemsky@uci.edu>
Date: Mon, 16 Jul 2012 22:26:54 -0700
Subject: [PATCH] remove dead code...  loop entrance condition is
 i<backtrack.size().  Therefore, this branch can never be taken.  remove it as
 it is confusing.

---
 nodestack.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/nodestack.cc b/nodestack.cc
index 2416ed7c..131452d8 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -109,8 +109,6 @@ thread_id_t Node::get_next_backtrack()
 	for (i = 0; i < backtrack.size(); i++)
 		if (backtrack[i] == true)
 			break;
-	if (i >= backtrack.size())
-		return THREAD_ID_T_NONE;
 	backtrack[i] = false;
 	numBacktracks--;
 	return int_to_id(i);
-- 
2.34.1