Fix tabbing

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

diff --git a/src/AST/mutableset.cc b/src/AST/mutableset.cc
index 3d9db49b2ab6e4a117bcf1f3f4ab16e8fcb1aa20..31ce431cffb0af3eb207957564a2cf5e3b0f5026 100644 (file)
--- a/src/AST/mutableset.cc
+++ b/src/AST/mutableset.cc
@@ -16,13 +16,13 @@ Set *MutableSet::clone(CSolver *solver, CloneMap *map) {
        s = solver->createMutableSet(type);
        for (uint i = 0; i < members->getSize(); i++) {
                ((MutableSet *)s)->addElementMSet(members->get(i));
-                               solver->addItem((MutableSet *) s, members->get(i));
+               solver->addItem((MutableSet *) s, members->get(i));
        }
-       ((MutableSet*)s)->finalize();
+       ((MutableSet *)s)->finalize();
        map->put(this, s);
        return s;
 }
 
-void MutableSet::finalize(){
+void MutableSet::finalize() {
        bsdqsort(members->expose(), members->getSize(), sizeof(uint64_t), intcompare);
 }
\ No newline at end of file