Adding new API for defining an order constraint on two orders...

[satune.git] / src / classlist.h

diff --git a/src/classlist.h b/src/classlist.h
index 2079d9b92fed4557146908af1af85b7a087273d0..0e3d28744166fce399a4a661f30879293fe3d573 100644 (file)
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -22,6 +22,7 @@ struct SATEncoder;
 typedef struct SATEncoder SATEncoder;
 
 typedef struct BooleanOrder BooleanOrder;
+typedef struct BooleanInterOrder BooleanInterOrder;
 typedef struct BooleanVar BooleanVar;
 typedef struct BooleanLogic BooleanLogic;
 typedef struct BooleanPredicate BooleanPredicate;