remove dead code... loop entrance condition is i<backtrack.size(). Therefore,
authorBrian Demsky <bdemsky@uci.edu>
Tue, 17 Jul 2012 05:26:54 +0000 (22:26 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Tue, 17 Jul 2012 05:26:54 +0000 (22:26 -0700)
commit38d09520b09ae79f636df3042a3184f0efc4de8d
tree3bd2dc6b60ddbe2df184d497d41d57a3a3e7d820
parent5b7cd081428d15ff59fbf9252df86dbd1709457f
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