Merging with branch Master

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

diff --git a/src/ASTTransform/integerencodingrecord.h b/src/ASTTransform/integerencodingrecord.h
index 682b0c3867fae96d6054e4a6a3c8ee0baf3869a1..2b2f1902b7faf94b192015241f3ebd4fd00941f2 100644 (file)
--- a/src/ASTTransform/integerencodingrecord.h
+++ b/src/ASTTransform/integerencodingrecord.h
@@ -17,10 +17,11 @@ public:
        ~IntegerEncodingRecord();
        Element* getOrderIntegerElement(CSolver *This, uint64_t item);
        inline Set* getSecondarySet() { return secondarySet; }
-       MEMALLOC;
+       CMEMALLOC;
+       
 private:
        Set* secondarySet;
-       HashSetOrderElement *elementTable;
+       HashsetOrderElement *elementTable;
 };
 
 #endif /* INTEGERENCODINGRECORD_H */