From ea094d3d1c9b80fa5bb647cbbd6275b439be13c9 Mon Sep 17 00:00:00 2001
From: Hamed <hamed.gorjiara@gmail.com>
Date: Mon, 4 Sep 2017 13:31:36 -0700
Subject: [PATCH] Edit

---
 src/AST/rewriter.cc | 1 +
 1 file changed, 1 insertion(+)

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:
-- 
2.34.1