Commit after resolving conflicts

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

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index fd59a21b213c6b631aae0b894b7f2745723566f0..0222fc74e930c10e6cb93cb19051d633bf0ce6fb 100644 (file)
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -25,6 +25,7 @@ struct BooleanOrder {
 struct BooleanVar {
        Boolean base;
        VarType vtype;
 struct BooleanVar {
        Boolean base;
        VarType vtype;

+       Constraint * var;

 };
 
 struct BooleanLogic {
 };
 
 struct BooleanLogic {