X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTAnalyses%2Fordergraph.cc;h=c0df7a54d87196e67f5011fe8ab40e1f25aad2a9;hp=9f53d1134fb3a42256f7aed05017edda007a539a;hb=d0f23c6eaff8ec5c1721d1fd92ceb05eca6db316;hpb=c5e632659f6f8ad931cf14104f72a5aa59acf911

diff --git a/src/ASTAnalyses/ordergraph.cc b/src/ASTAnalyses/ordergraph.cc
index 9f53d11..c0df7a5 100644
--- a/src/ASTAnalyses/ordergraph.cc
+++ b/src/ASTAnalyses/ordergraph.cc
@@ -159,14 +159,14 @@ void OrderGraph::addMustOrderConstraintToOrderGraph(BooleanOrder *bOrder) {
 }
 
 OrderGraph::~OrderGraph() {
-	HSIteratorOrderNode *iterator = nodes->iterator();
+	SetIteratorOrderNode *iterator = nodes->iterator();
 	while (iterator->hasNext()) {
 		OrderNode *node = iterator->next();
 		delete node;
 	}
 	delete iterator;
 
-	HSIteratorOrderEdge *eiterator = edges->iterator();
+	SetIteratorOrderEdge *eiterator = edges->iterator();
 	while (eiterator->hasNext()) {
 		OrderEdge *edge = eiterator->next();
 		delete edge;