More SAT Encoder

[satune.git] / src / AST / boolean.h

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index d00a82cf123fa325eb1d2eadef911272df66302d..860365f891b3b8edff3f628da504ad0dac2fc421 100644 (file)
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -24,6 +24,7 @@ struct BooleanOrder {
 struct BooleanVar {
        Boolean base;
        VarType vtype;
+       Constraint * var;
 };
 
 struct BooleanLogic {