Add useful functions

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

diff --git a/src/AST/boolean.cc b/src/AST/boolean.cc
index a0048bd50aebfe529dc9361f902af821a0416f59..7c3771095a2ca448eab0ab4e84dea940be384da7 100644 (file)
--- a/src/AST/boolean.cc
+++ b/src/AST/boolean.cc
@@ -14,7 +14,7 @@ Boolean::Boolean(ASTNodeType _type) :
 
 BooleanConst::BooleanConst(bool _isTrue) :
        Boolean(BOOLCONST),
-       isTrue(_isTrue) {
+       istrue(_isTrue) {
 }
 
 BooleanVar::BooleanVar(VarType t) :
@@ -49,7 +49,7 @@ BooleanLogic::BooleanLogic(CSolver *solver, LogicOp _op, Boolean **array, uint a
 }
 
 Boolean *BooleanConst::clone(CSolver *solver, CloneMap *map) {
-       if (isTrue)
+       if (istrue)
                return solver->getBooleanTrue();
        else
                return solver->getBooleanFalse();