Add Set AST Constructor

[satune.git] / src / structs.h

diff --git a/src/structs.h b/src/structs.h
index 83ce58c3eaff28e93126e21db1b7657a80cb5a73..888f359e3fdee2266f7a63a661ecc7e8bba26046 100644 (file)
--- a/src/structs.h
+++ b/src/structs.h
@@ -6,9 +6,11 @@
 #include "classlist.h"
 
 VectorDef(Int, uint64_t, 4);
+VectorDef(Void, void *, 4);
 VectorDef(Boolean, Boolean *, 4);
 VectorDef(Constraint, Constraint *, 4);
-VectorDef(Void, void *, 4);
+VectorDef(Set, Set *, 4);
+VectorDef(Element, Element *, 4);
 
 inline unsigned int Ptr_hash_function(void * hash) {
        return (unsigned int)((uint64_t)hash >> 4);