Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
authorBrian Demsky <bdemsky@uci.edu>
Tue, 17 Jul 2012 05:28:01 +0000 (22:28 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Tue, 17 Jul 2012 05:28:01 +0000 (22:28 -0700)
nodestack.cc

index 2416ed7..131452d 100644 (file)
@@ -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);