From 61db3a1768f1b90ad997e648a7e622c7ef47b69b Mon Sep 17 00:00:00 2001
From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 3 Oct 2012 01:28:12 -0700
Subject: [PATCH] error

---
 nodestack.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nodestack.cc b/nodestack.cc
index f5cb6f0e..d5425e33 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -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);
 }
-- 
2.34.1