From: Brian Demsky <bdemsky@uci.edu>
Date: Tue, 17 Jul 2012 05:28:01 +0000 (-0700)
Subject: Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
X-Git-Tag: pldi2013~347
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=cf00814e3c709a8cceaa15ec9bb1fc0922213f4b;hp=4dcaad44db966a0e34593544b9d3ae45b6253b27

Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
---

diff --git a/nodestack.cc b/nodestack.cc
index 2416ed7..131452d 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);