X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTTransform%2Fintegerencoding.cc;fp=src%2FASTTransform%2Fintegerencoding.cc;h=ff384cbb67bb451d8023c051befaa0560a88bf72;hp=a3262330f238519514fefbdc8a86b3c045e16e9d;hb=e4a14b6b2b3273cf076e674a68893b05ac62bc73;hpb=8ad7f06bce310a9811da90f8334acf610a3ee1d1

diff --git a/src/ASTTransform/integerencoding.cc b/src/ASTTransform/integerencoding.cc
index a326233..ff384cb 100644
--- 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);
 }