Change dependences
[satune.git] / src / AST / order.h
index f9bd69b5a3fdca34d6074a9c45399689ffd401bf..ea2de5eea72a50e19330401313a21cacbb1b9747 100644 (file)
@@ -23,7 +23,7 @@ public:
        void initializeOrderElementsHashTable();
        void addOrderConstraint(BooleanOrder *constraint);
        void setOrderEncodingType(OrderEncodingType type);
-       MEMALLOC;
+       CMEMALLOC;
 };
 
 #endif