Fix tabbing

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

diff --git a/src/AST/set.h b/src/AST/set.h
index a0bd449e5b831535e432eb6bca85634ea132ea48..c647af536773c4434975455dd8ea0d3828508c95 100644 (file)
--- a/src/AST/set.h
+++ b/src/AST/set.h
@@ -27,7 +27,7 @@ public:
        uint getUnionSize(Set *s);
        virtual bool isMutableSet() {return false;}
        virtual Set *clone(CSolver *solver, CloneMap *map);
-       virtual void serialize(Serializer* serializer);
+       virtual void serialize(Serializer *serializer);
        virtual void print();
        CMEMALLOC;
 protected: