error
authorBrian Demsky <bdemsky@uci.edu>
Wed, 3 Oct 2012 08:28:12 +0000 (01:28 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Wed, 3 Oct 2012 08:28:12 +0000 (01:28 -0700)
nodestack.cc

index f5cb6f0..d5425e3 100644 (file)
@@ -418,7 +418,7 @@ void NodeStack::pop_restofstack(int numAhead)
 {
        /* Diverging from previous execution; clear out remainder of list */
        unsigned int it=iter+numAhead;
-       for(unsigned i=it;i<node_list.size();i++)
+       for(unsigned int i=it;i<node_list.size();i++)
                delete node_list[i];
        node_list.resize(it);
 }