Fix memory leaks

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index cdbb919eac5c48fb80bbeab7fc259de3907b2a34..64f0851fa74061e507a96569847ab064edda5fd1 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -155,7 +155,7 @@ Boolean *CSolver::applyPredicate(Predicate *predicate, Element **inputs, uint nu
 }
 
 Boolean *CSolver::applyPredicateTable(Predicate *predicate, Element **inputs, uint numInputs, Boolean *undefinedStatus) {
-       Boolean *boolean = new BooleanPredicate(predicate, inputs, numInputs, undefinedStatus);
+       BooleanPredicate *boolean = new BooleanPredicate(predicate, inputs, numInputs, undefinedStatus);
        allBooleans.push(boolean);
        return boolean;
 }