Merge branch 'brian' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...

[satune.git] / src / Collections / structs.h

diff --git a/src/Collections/structs.h b/src/Collections/structs.h
index 0d57a8a5137b07dbd66697a1ad4773cb5755c826..6b274cec11d7ccdbed208480fc45d10753c9fe5d 100644 (file)
--- a/src/Collections/structs.h
+++ b/src/Collections/structs.h
@@ -23,7 +23,7 @@ VectorDef(ASTNode, ASTNode *);
 VectorDef(Int, uint64_t);
 
 HashTableDef(Void, void *, void *);
-HashTableDef(BoolConst, BooleanOrder *, Constraint *);
+HashTableDef(BoolConst, OrderPair *, Constraint *);
 
 HashSetDef(Void, void *);