Merge with branch master ...

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

diff --git a/src/ASTTransform/integerencoding.cc b/src/ASTTransform/integerencoding.cc
index a992f8f72b06c0ec53a8f61dea704f51961cfca0..ff384cbb67bb451d8023c051befaa0560a88bf72 100644 (file)
--- a/src/ASTTransform/integerencoding.cc
+++ b/src/ASTTransform/integerencoding.cc
@@ -7,6 +7,7 @@
 #include "element.h"
 #include "rewriter.h"
 
+/*
 void orderIntegerEncodingSATEncoder(SATEncoder *This, BooleanOrder *boolOrder){
        Order* order = boolOrder->order;
        if (order->elementTable == NULL) {
@@ -41,3 +42,4 @@ Element* getOrderIntegerElement(SATEncoder* This,Order *order, uint64_t item) {
                return eset->get(&oelement)->elem;
 }
 
+*/