Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into...

diff --cc src/Collections/structs.h
index 0d57a8a5137b07dbd66697a1ad4773cb5755c826,a45eb132cf1eb2c53ae99dd4e5bd259b69ac59cd..6b274cec11d7ccdbed208480fc45d10753c9fe5d
--- 1/src/Collections/structs.h
--- 2/src/Collections/structs.h
+++ b/src/Collections/structs.h
@@@ -10,20 -10,23 +10,20 @@@ ArrayDef(Element, Element *)
  ArrayDef(Boolean, Boolean *);
  ArrayDef(Set, Set *);
  
 -
 -VectorDef(Table, Table *, 4);
 -VectorDef(Set, Set *, 4);
 -VectorDef(Boolean, Boolean *, 4);
 -VectorDef(Constraint, Constraint *, 4);
 -VectorDef(Function, Function *, 4);
 -VectorDef(Predicate, Predicate *, 4);
 -VectorDef(Element, Element *, 4);
 -VectorDef(Order, Order *, 4);
 -VectorDef(TableEntry, TableEntry *, 4);
 -VectorDef(ASTNode, ASTNode *, 4);
 -VectorDef(Int, uint64_t, 4);
 -
 -
 +VectorDef(Table, Table *);
 +VectorDef(Set, Set *);
 +VectorDef(Boolean, Boolean *);
 +VectorDef(Constraint, Constraint *);
 +VectorDef(Function, Function *);
 +VectorDef(Predicate, Predicate *);
 +VectorDef(Element, Element *);
 +VectorDef(Order, Order *);
 +VectorDef(TableEntry, TableEntry *);
 +VectorDef(ASTNode, ASTNode *);
 +VectorDef(Int, uint64_t);
  
  HashTableDef(Void, void *, void *);
- HashTableDef(BoolConst, BooleanOrder *, Constraint *);
+ HashTableDef(BoolConst, OrderPair *, Constraint *);
  
  HashSetDef(Void, void *);