Add AST Hashing and Equals Functions

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

diff --git a/src/AST/boolean.cc b/src/AST/boolean.cc
index 6f2f4753bf2009bee5b31c6564710704750bdd7d..7949cdc16dc6cb3335ecd0f3de2e7ed4589c4c2d 100644 (file)
--- a/src/AST/boolean.cc
+++ b/src/AST/boolean.cc
@@ -9,7 +9,8 @@ Boolean::Boolean(ASTNodeType _type) :
        ASTNode(_type),
        polarity(P_UNDEFINED),
        boolVal(BV_UNDEFINED),
-       parents() {
+       parents(),
+       idNumber(0) {
 }
 
 BooleanVar::BooleanVar(VarType t) :