X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Forder.cc;h=82e4c5329d591b0826704c750e80cc62ff50c3c5;hb=974a00584da88dce9c638bd5fd981f2164176e2c;hp=f3ccde419dc9e07957a62229a913c855aca7fdd8;hpb=d8a822b4166c0e1da167d756bc10cffbaded8972;p=satune.git

diff --git a/src/AST/order.cc b/src/AST/order.cc
index f3ccde4..82e4c53 100644
--- a/src/AST/order.cc
+++ b/src/AST/order.cc
@@ -16,6 +16,8 @@ Order::Order(OrderType _type, Set *_set) :
 
 void Order::addOrderConstraint(BooleanOrder *constraint) {
 	constraints.push(constraint);
+	useditems.add(constraint->first);
+	useditems.add(constraint->second);
 }
 
 void Order::setOrderEncodingType(OrderEncodingType type) {
@@ -60,7 +62,7 @@ void Order::serialize(Serializer *serializer) {
 }
 
 void Order::print() {
-	model_print("{Order on Set:\n");
+	model_print("{Order<%p> on Set:\n", this);
 	set->print();
 	model_print("}\n");
 }