Get rid of silly macros

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

diff --git a/src/AST/mutableset.h b/src/AST/mutableset.h
index 754d39586dbca1db842f1cbf3030ce8830867cec..080db14c863f4bbddf882477a92ca44542da22dd 100644 (file)
--- a/src/AST/mutableset.h
+++ b/src/AST/mutableset.h
@@ -2,6 +2,11 @@
 #define MUTABLESET_H
 #include "set.h"
 
-MutableSet *allocMutableSet(VarType t);
-void addElementMSet(MutableSet *set, uint64_t element);
+class MutableSet : public Set {
+public:
+       MutableSet(VarType t);
+       void addElementMSet(uint64_t element);
+       Set *clone(CSolver *solver, CloneMap *map);
+       MEMALLOC;
+};
 #endif