Change dependences

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

diff --git a/src/ASTTransform/integerencodingrecord.h b/src/ASTTransform/integerencodingrecord.h
index 3069da536b6127009f5ba337329e3c5198c48f19..da539189ffcdb667f85f1607a4cc675145cc8617 100644 (file)
--- a/src/ASTTransform/integerencodingrecord.h
+++ b/src/ASTTransform/integerencodingrecord.h
@@ -17,7 +17,7 @@ public:
        IntegerEncodingRecord(Set* set);
        ~IntegerEncodingRecord();
        Element* getOrderIntegerElement(CSolver *This, uint64_t item);
-       MEMALLOC;
+       CMEMALLOC;
        
 private:
        HashSetOrderElement *elementTable;