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

diff --cc src/AST/boolean.h
index 1f218b2cd855fde36aeab02738bfd917cda6dd46,1b5d24dea0b90e32f9ff7c26470cd424f332f5b1..de96bfc4e21a2ad1699132f85e3b5fb934597f1a
--- 1/src/AST/boolean.h
--- 2/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@@ -23,9 -21,9 +23,9 @@@ 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;
  };
  

diff --cc src/csolver.h
Simple merge