Merge branch 'master' into brian

[satune.git] / src / AST / set.h

diff --git a/src/AST/set.h b/src/AST/set.h
index 55fb57cb9900b6d7f5b93f38f8fe921c2b34ffe5..badb28c4b6a165ce2e048fd7b4618ad41a3a4e5c 100644 (file)
--- 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);
+bool existsInSet(Set* set, uint64_t element);
 uint getSetSize(Set* set);
 void deleteSet(Set *set);
 #endif/* SET_H */