X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Fmutableset.cc;h=31ce431cffb0af3eb207957564a2cf5e3b0f5026;hb=19c299fd9e91386883e788f445d153abfe58430a;hp=3d9db49b2ab6e4a117bcf1f3f4ab16e8fcb1aa20;hpb=80c81c7a3aeeb577e3c4f514b964e5c84ac6c658;p=satune.git

diff --git a/src/AST/mutableset.cc b/src/AST/mutableset.cc
index 3d9db49..31ce431 100644
--- 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