More edits

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

diff --git a/src/AST/boolean.cc b/src/AST/boolean.cc
index f7d3e8822b1240d5bbd75f0f92de0aa88c67f686..dcc201d24c319ee324eb63a484e39239049c2633 100644 (file)
--- a/src/AST/boolean.cc
+++ b/src/AST/boolean.cc
@@ -28,6 +28,9 @@ BooleanOrder::BooleanOrder(Order *_order, uint64_t _first, uint64_t _second) :
        order(_order),
        first(_first),
        second(_second) {
        order(_order),
        first(_first),
        second(_second) {

+}
+
+void BooleanOrder::updateParents() {

        order->constraints.push(this);
 }
 
        order->constraints.push(this);
 }