Fix tabbing

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

diff --git a/src/AST/boolean.cc b/src/AST/boolean.cc
index e63549ee409b07e0555675187dda6baaa3e8601b..04898aa113e795290a4c38465c0c5f6170a35357 100644 (file)
--- a/src/AST/boolean.cc
+++ b/src/AST/boolean.cc
@@ -33,7 +33,7 @@ BooleanOrder::BooleanOrder(Order *_order, uint64_t _first, uint64_t _second) :
 }
 
 void BooleanOrder::updateParents() {
-       order->constraints.push(this);
+       order->addOrderConstraint(this);
 }
 
 BooleanPredicate::BooleanPredicate(Predicate *_predicate, Element **_inputs, uint _numInputs, BooleanEdge _undefinedStatus) :