Run tabbing pass

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index 4f26bde7a295d3292482ff4451f5f985414d23ae..d825df5e4c2a8d12192ec1fb5da68fe60eac06cc 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -161,7 +161,9 @@ Boolean *CSolver::applyPredicateTable(Predicate *predicate, Element **inputs, ui
 }
 
 Boolean *CSolver::applyLogicalOperation(LogicOp op, Boolean **array, uint asize) {
-       return new BooleanLogic(this, op, array, asize);
+       Boolean *boolean = new BooleanLogic(this, op, array, asize);
+       allBooleans.push(boolean);
+       return boolean;
 }
 
 void CSolver::addConstraint(Boolean *constraint) {