X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Fboolean.cc;h=647f548d352f21e5a98c149ce519b427941099bc;hp=c576268058f3b5203687a2d6cef9e496a90bcf2e;hb=238830745ba3939323c285b722c9ae512b7baa9b;hpb=9ef6c2bc13c8474fa7848e06f312cdcd05254b6b

diff --git a/src/AST/boolean.cc b/src/AST/boolean.cc
index c576268..647f548 100644
--- a/src/AST/boolean.cc
+++ b/src/AST/boolean.cc
@@ -5,11 +5,13 @@
 #include "order.h"
 #include "predicate.h"
 
+uint64_t Boolean::counter = 0;
+
 Boolean::Boolean(ASTNodeType _type) :
 	ASTNode(_type),
 	polarity(P_UNDEFINED),
 	boolVal(BV_UNDEFINED),
-	parents() {
+	parents(), id(counter++) {
 }
 
 BooleanConst::BooleanConst(bool _isTrue) :