X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Fmutableset.c;h=1c893a394aa9a83b1b46277232969de0fc6bab90;hb=25a6a7672de392c9708c227b80123df8a1528b55;hp=18f038b420548738fffcc945d1f8eb50305dbf5a;hpb=fdf0e45c309033c29b504a69dfe1e9ab0e2e2ff7;p=satune.git

diff --git a/src/AST/mutableset.c b/src/AST/mutableset.c
index 18f038b..1c893a3 100644
--- a/src/AST/mutableset.c
+++ b/src/AST/mutableset.c
@@ -1,13 +1,13 @@
 #include "mutableset.h"
 
 MutableSet * allocMutableSet(VarType t) {
-	MutableSet * tmp=(MutableSet *)ourmalloc(sizeof(MutableSet));
-	tmp->type=t;
-	tmp->isRange=false;
-	tmp->low=0;
-	tmp->high=0;
-	tmp->members=allocDefVectorInt();
-	return tmp;
+	MutableSet * This=(MutableSet *)ourmalloc(sizeof(MutableSet));
+	This->type=t;
+	This->isRange=false;
+	This->low=0;
+	This->high=0;
+	This->members=allocDefVectorInt();
+	return This;
 }
 
 void addElementMSet(MutableSet * set, uint64_t element) {