X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Fset.h;fp=src%2FAST%2Fset.h;h=16fde20057370fc70cf9f4e5e265bb83f474971c;hb=4221735881b9d1cd53ef410d9448efd2d12a51ad;hp=1555ae9650dc1169795fbd61174c5635461851d3;hpb=4c23ace7b399ab58a9030b157573e0850cf133d3;p=satune.git

diff --git a/src/AST/set.h b/src/AST/set.h
index 1555ae9..16fde20 100644
--- a/src/AST/set.h
+++ b/src/AST/set.h
@@ -17,14 +17,14 @@ struct Set {
 	bool isRange;
 	uint64_t low;//also used to count unique items
 	uint64_t high;
-	VectorInt * members;
+	VectorInt *members;
 };
 
-Set * allocSet(VarType t, uint64_t * elements, uint num);
-Set * allocSetRange(VarType t, uint64_t lowrange, uint64_t highrange);
-bool existsInSet(Set * This, uint64_t element);
-uint getSetSize(Set * This);
-uint64_t getSetElement(Set * This, uint index);
-void deleteSet(Set * This);
+Set *allocSet(VarType t, uint64_t *elements, uint num);
+Set *allocSetRange(VarType t, uint64_t lowrange, uint64_t highrange);
+bool existsInSet(Set *This, uint64_t element);
+uint getSetSize(Set *This);
+uint64_t getSetElement(Set *This, uint index);
+void deleteSet(Set *This);
 #endif/* SET_H */