Merge with branch master ...

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

diff --git a/src/ASTTransform/integerencoding.cc b/src/ASTTransform/integerencoding.cc
index a3262330f238519514fefbdc8a86b3c045e16e9d..ff384cbb67bb451d8023c051befaa0560a88bf72 100644 (file)
--- a/src/ASTTransform/integerencoding.cc
+++ b/src/ASTTransform/integerencoding.cc
@@ -5,6 +5,8 @@
 #include "csolver.h"
 #include "predicate.h"
 #include "element.h"
+#include "rewriter.h"
+
 /*
 void orderIntegerEncodingSATEncoder(SATEncoder *This, BooleanOrder *boolOrder){
        Order* order = boolOrder->order;
@@ -25,6 +27,7 @@ void orderIntegerEncodingSATEncoder(SATEncoder *This, BooleanOrder *boolOrder){
                This->solver->allElements.push(elem2);
                This->solver->constraints.add(boolean);
        }
+       replaceBooleanWithBoolean(This->solver, boolOrder, boolean);
 }