Merging with branch Master

[satune.git] / src / ASTTransform / integerencodingrecord.h

diff --git a/src/ASTTransform/integerencodingrecord.h b/src/ASTTransform/integerencodingrecord.h
index bafc01812314ad943b79adb2fe9cb44063b5adf1..2b2f1902b7faf94b192015241f3ebd4fd00941f2 100644 (file)
--- a/src/ASTTransform/integerencodingrecord.h
+++ b/src/ASTTransform/integerencodingrecord.h
@@ -13,13 +13,14 @@
 
 class IntegerEncodingRecord {
 public:
-       Set* set;
        IntegerEncodingRecord(Set* set);
        ~IntegerEncodingRecord();
        Element* getOrderIntegerElement(CSolver *This, uint64_t item);
+       inline Set* getSecondarySet() { return secondarySet; }
        CMEMALLOC;
        
 private:
+       Set* secondarySet;
        HashsetOrderElement *elementTable;
 };