Compiles

[satune.git] / src / ASTTransform / integerencoding.cc

diff --git a/src/ASTTransform/integerencoding.cc b/src/ASTTransform/integerencoding.cc
index 6664a677f2b10664e7e11ab894f8f98287e807e4..a4aacdf5a1f93d171d963e57c1eff127f8bdd430 100644 (file)
--- a/src/ASTTransform/integerencoding.cc
+++ b/src/ASTTransform/integerencoding.cc
@@ -55,7 +55,7 @@ void IntegerEncodingTransform::orderIntegerEncodingSATEncoder(Order * currOrder,
        Set *sarray[] = {ierec->getSecondarySet(), ierec->getSecondarySet()};
        Predicate *predicate = solver->createPredicateOperator(SATC_LT, sarray, 2);
        Element *parray[] = {elem1, elem2};
-       Boolean *boolean = solver->applyPredicate(predicate, parray, 2);
+       BooleanEdge boolean = solver->applyPredicate(predicate, parray, 2);
        solver->addConstraint(boolean);
        solver->replaceBooleanWithBoolean(boolOrder, boolean);
 }