From: Hamed <hamed.gorjiara@gmail.com>
Date: Mon, 4 Sep 2017 20:31:36 +0000 (-0700)
Subject: Edit
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ea094d3d1c9b80fa5bb647cbbd6275b439be13c9;p=satune.git

Edit
---

diff --git a/src/AST/rewriter.cc b/src/AST/rewriter.cc
index c49fcf5..cdb2fb4 100644
--- a/src/AST/rewriter.cc
+++ b/src/AST/rewriter.cc
@@ -21,6 +21,7 @@ void CSolver::replaceBooleanWithTrueNoRemove(BooleanEdge bexpr) {
 	uint size = bexpr->parents.getSize();
 	for (uint i = 0; i < size; i++) {
 		Boolean *parent = bexpr->parents.get(i);
+		ASSERT(parent->type == LOGICOP);
 		BooleanLogic *logicop = (BooleanLogic *) parent;
 		switch (logicop->op) {
 		case SATC_AND: