X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Fset.h;h=55fb57cb9900b6d7f5b93f38f8fe921c2b34ffe5;hb=73415104c9001d8154b226d320c5963d1364b858;hp=92315e22818728089a1d543021aea773529122bc;hpb=2fdb3e8b65ae7e1490997e5df9ad8cc0929e1589;p=satune.git

diff --git a/src/AST/set.h b/src/AST/set.h
index 92315e2..55fb57c 100644
--- a/src/AST/set.h
+++ b/src/AST/set.h
@@ -23,6 +23,7 @@ struct Set {
 
 Set *allocSet(VarType t, uint64_t * elements, uint num);
 Set * allocSetRange(VarType t, uint64_t lowrange, uint64_t highrange);
+uint getSetSize(Set* set);
 void deleteSet(Set *set);
 #endif/* SET_H */