Adding support for mutableset in backend + OO-style Set

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

diff --git a/src/ASTTransform/integerencoding.cc b/src/ASTTransform/integerencoding.cc
index 6a525cdfc8830a4e4ac12531083723527c049d3f..2d405e0fe82712f527d05252829793aff4a0c7b8 100644 (file)
--- a/src/ASTTransform/integerencoding.cc
+++ b/src/ASTTransform/integerencoding.cc
@@ -25,7 +25,7 @@ bool IntegerEncodingTransform::canExecuteTransform(){
 void IntegerEncodingTransform::doTransform(){
        if (!orderIntegerEncoding->contains(order)) {
                orderIntegerEncoding->put(order, new IntegerEncodingRecord(
-               solver->createRangeSet(order->set->type, 0, (uint64_t) order->set->getSize()-1)));
+               solver->createRangeSet(order->set->getType(), 0, (uint64_t) order->set->getSize()-1)));
        }
        uint size = order->constraints.getSize();
        for(uint i=0; i<size; i++){