Restructure transforms a little and run make tabbing

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

diff --git a/src/AST/set.h b/src/AST/set.h
index 056794e35de355e8deeda51b1235843f889bf1bc..5a5cdab1748121606e4e5b1bd4ef0afa5e552c1b 100644 (file)
--- a/src/AST/set.h
+++ b/src/AST/set.h
@@ -20,8 +20,8 @@ public:
        virtual ~Set();
        bool exists(uint64_t element);
        uint getSize();
-       VarType getType(){return type;}
-       uint64_t getNewUniqueItem(){return low++;}
+       VarType getType() {return type;}
+       uint64_t getNewUniqueItem() {return low++;}
        uint64_t getMemberAt(uint index);
        uint64_t getElement(uint index);
        virtual Set *clone(CSolver *solver, CloneMap *map);
@@ -32,7 +32,7 @@ protected:
        uint64_t low;//also used to count unique items
        uint64_t high;
        Vector<uint64_t> *members;
-       
+
 };
 
 #endif/* SET_H */