From e27a40f5c5fb5e9f804acd9ebfd38d7200d92ed1 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Wed, 20 Mar 2019 16:44:35 -0700
Subject: [PATCH] bug fix

---
 src/AST/order.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/AST/order.h b/src/AST/order.h
index d469cd9..4badbdc 100644
--- a/src/AST/order.h
+++ b/src/AST/order.h
@@ -24,7 +24,6 @@ public:
 	void addOrderConstraint(BooleanOrder *constraint);
 	void setOrderEncodingType(OrderEncodingType type);
 	HashtableOrderPair *getOrderPairTable();
-	SetIterator64Int *getUsedIterator();
 	CMEMALLOC;
 private:
 	Hashset64Int useditems;
@@ -32,6 +31,7 @@ private:
 public:
 	Vector<BooleanOrder *> *getConstraints() {return &constraints;}
 	uint getNumUsed() {return constraints.getSize();}
+	SetIterator64Int *getUsedIterator() {return useditems.iterator();}
 
 };
 
-- 
2.34.1