X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Fset.cc;h=9342484a21a81ce61e73cd14fae87a9148d9902c;hb=8be75c0cf932afdf2a48422b6a3c53c3d9733557;hp=585ae6d1068a109cadf9891d555db7548972b44c;hpb=e80028bf761f04dd410b45d1dadc0b8b5fd5817e;p=satune.git

diff --git a/src/AST/set.cc b/src/AST/set.cc
index 585ae6d..9342484 100644
--- a/src/AST/set.cc
+++ b/src/AST/set.cc
@@ -69,14 +69,6 @@ uint Set::getSize() {
 	}
 }
 
-uint64_t Set::getMemberAt(uint index) {
-	if (isRange) {
-		return low + index;
-	} else {
-		return members->get(index);
-	}
-}
-
 Set::~Set() {
 	if (!isRange)
 		delete members;
@@ -155,7 +147,7 @@ void Set::serialize(Serializer *serializer) {
 }
 
 void Set::print() {
-	model_print("{Set<%p>:", this);
+	model_print("{Set(%lu)<%p>:", type, this);
 	if (isRange) {
 		model_print("Range: low=%lu, high=%lu}", low, high);
 	} else {