Adding support for (de)serializing MutableSet

[satune.git] / src / AST / set.h

diff --git a/src/AST/set.h b/src/AST/set.h
index 6dbeac063f999b3e611cc3816f36b15eb87d5050..efd281d77ae7effdd59ef2a38c570a380a4c821b 100644 (file)
--- a/src/AST/set.h
+++ b/src/AST/set.h
@@ -24,6 +24,7 @@ public:
        uint64_t getNewUniqueItem() {return low++;}
        uint64_t getMemberAt(uint index);
        uint64_t getElement(uint index);
+       virtual bool isMutableSet() {return false;}
        virtual Set *clone(CSolver *solver, CloneMap *map);
        virtual void serialize(Serializer* serializer);
        CMEMALLOC;