From: bdemsky <bdemsky@uci.edu>
Date: Wed, 20 Mar 2019 23:44:35 +0000 (-0700)
Subject: bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=e27a40f5c5fb5e9f804acd9ebfd38d7200d92ed1

bug fix
---

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();}
 
 };