Change dependences
[satune.git] / src / AST / set.h
index eb406bb553c6ed4feded557fc57454a46dd0b13c..056794e35de355e8deeda51b1235843f889bf1bc 100644 (file)
@@ -25,7 +25,7 @@ public:
        uint64_t getMemberAt(uint index);
        uint64_t getElement(uint index);
        virtual Set *clone(CSolver *solver, CloneMap *map);
-       MEMALLOC;
+       CMEMALLOC;
 protected:
        VarType type;
        bool isRange;