X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Fboolean.h;h=de96bfc4e21a2ad1699132f85e3b5fb934597f1a;hp=1f218b2cd855fde36aeab02738bfd917cda6dd46;hb=d7ac61501176eddf35c154d3bbd2b87c566b60ce;hpb=f9f7d7f9830b7ca2b85c56bdeaff4ceae29f2128

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index 1f218b2..de96bfc 100644
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -23,7 +23,7 @@ public:
 	virtual bool isFalse() {return boolVal == BV_MUSTBEFALSE;}
 	Polarity polarity;
 	BooleanValue boolVal;
-	Vector<Boolean *> parents;
+	Vector<ASTNode *> parents;
 	virtual void updateParents() {}
         uint64_t id;
 	CMEMALLOC;