Support for pruning unused order elements

[satune.git] / src / AST / order.cc

diff --git a/src/AST/order.cc b/src/AST/order.cc
index 315b112d1c2aae07dec86b71dfb8a7db345e29a1..82e4c5329d591b0826704c750e80cc62ff50c3c5 100644 (file)
--- 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) {