Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...

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

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index 1f218b2cd855fde36aeab02738bfd917cda6dd46..de96bfc4e21a2ad1699132f85e3b5fb934597f1a 100644 (file)
--- 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;
        virtual bool isFalse() {return boolVal == BV_MUSTBEFALSE;}
        Polarity polarity;
        BooleanValue boolVal;

-       Vector<Boolean *> parents;
+       Vector<ASTNode *> parents;

        virtual void updateParents() {}
         uint64_t id;
        CMEMALLOC;
        virtual void updateParents() {}
         uint64_t id;
        CMEMALLOC;