Commit after resolving conflicts

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

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