edits

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

diff --git a/src/AST/element.cc b/src/AST/element.cc
index 565187afc1ab5996f85be63b8a4c8a79790b2223..9642d9cedaf0e3050c816dbb73f957a64101f755 100644 (file)
--- a/src/AST/element.cc
+++ b/src/AST/element.cc
@@ -59,6 +59,8 @@ Element *ElementFunction::clone(CSolver *solver, CloneMap *map) {
 
 void ElementFunction::updateParents() {
        for (uint i = 0; i < inputs.getSize(); i++) inputs.get(i)->parents.push(this);
+       if (overflowstatus)
+               overflowstatus->parents.push(this);
 }
 
 Set *ElementFunction::getRange() {