From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 18 Jul 2018 23:10:18 +0000 (-0700)
Subject: Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=d7ac61501176eddf35c154d3bbd2b87c566b60ce

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

d7ac61501176eddf35c154d3bbd2b87c566b60ce
diff --cc src/AST/boolean.h
index 1f218b2,1b5d24d..de96bfc
--- a/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;
  };