Add Set AST Constructor
[satune.git] / src / structs.c
index 058f62838a6fcc4b43707afcd329114881971a7a..30bca4217a67e94cba89f58b9f5536fe589a1fe0 100644 (file)
@@ -2,7 +2,10 @@
 #include "mymemory.h"
 
 VectorImpl(Int, uint64_t, 4);
-VectorImpl(Boolean, Boolean *, 4);
 VectorImpl(Void, void *, 4);
+VectorImpl(Boolean, Boolean *, 4);
+VectorImpl(Constraint, Constraint *, 4);
+VectorImpl(Set, Set *, 4);
+VectorImpl(Element, Element *, 4);
 HashTableImpl(Void, void *, void *, Ptr_hash_function, Ptr_equals);
 HashSetImpl(Void, void *, Ptr_hash_function, Ptr_equals);