X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Fboolean.cc;h=dcc201d24c319ee324eb63a484e39239049c2633;hp=f7d3e8822b1240d5bbd75f0f92de0aa88c67f686;hb=3d7a27487ec88670a2815e9193c5f6580e8eb396;hpb=3efca7972c700e626966fb603ef8fd895dc2b4e4

diff --git a/src/AST/boolean.cc b/src/AST/boolean.cc
index f7d3e88..dcc201d 100644
--- 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) {
+}
+
+void BooleanOrder::updateParents() {
 	order->constraints.push(this);
 }